Section32.java

package network.ike.foundation.ike.terms.foundation;

import dev.ikm.tinkar.common.id.PublicIds;
import dev.ikm.tinkar.entity.builder.ActiveStamp;
import dev.ikm.tinkar.entity.builder.KnowledgeSet;
import dev.ikm.tinkar.terms.EntityProxy;
import network.ike.foundation.ike.terms.IkeTerm;
import java.time.Instant;

/** The "Property sequence implication" section — a taxonomy subtree of the retrofitted starter set (IKE-Network/ike-issues#869). */
final class Section32 {

    private Section32() {
    }

    static void compose(KnowledgeSet set) {
        ActiveStamp inception = network.ike.foundation.ike.terms.Ike.INCEPTION;

        set.concept("Property sequence implication", PublicIds.of("9a47a5db-42a6-49ee-9083-54bc305a9456")).at(inception)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("02a235ac-797a-441f-8f3f-6ba0cc702549"), IkeTerm.ENGLISH_LANGUAGE, "Property sequence implication", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.FULLY_QUALIFIED_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("512c1f3e-e079-43a3-afb2-201332f61b45"), IkeTerm.ENGLISH_LANGUAGE, "Property sequence implication", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.REGULAR_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("21b38d2d-3b4a-4e69-82cd-ca2eb38cbb9f"), IkeTerm.ENGLISH_LANGUAGE, "The atom asserting a property-chain implication: the properties in the sequence, composed in order, imply the property this axiom names. Mirrors LogicalAxiom.Atom.PropertySequenceImplication.", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.DEFINITION_DESCRIPTION_TYPE)
                .semantic(IkeTerm.IDENTIFIER_PATTERN, PublicIds.of("99fae8da-dd4e-4f46-87b9-bc7c1d078d6e"), IkeTerm.UNIVERSALLY_UNIQUE_IDENTIFIER, "53f866d0-fd61-5c85-a16c-150bd619a0ac")
                .statedAxioms(PublicIds.of("14f32de1-40b0-599b-bbaf-017aed72d2e8"), leb -> leb.NecessarySet(leb.And(leb.ConceptAxiom(set.conceptRef("Atom (IkeFoundation)")))))
                .semantic(IkeTerm.TINKAR_BASE_MODEL_COMPONENT_PATTERN, PublicIds.of("d48040a4-ade7-4243-bb7c-3d174f107520"))
                .semanticOn(PublicIds.of("02a235ac-797a-441f-8f3f-6ba0cc702549"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("79e115d0-8d03-4d52-96d5-91f8df8edb4d"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("512c1f3e-e079-43a3-afb2-201332f61b45"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("d18dc2c2-c71c-476b-a5df-b6af30e51dca"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("21b38d2d-3b4a-4e69-82cd-ca2eb38cbb9f"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("1b07440a-1aa4-4a06-b04f-9a928426c712"), IkeTerm.PREFERRED)
                ;

    }
}