Section52.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 "Is a" section — a taxonomy subtree of the retrofitted starter set (IKE-Network/ike-issues#869). */
final class Section52 {

    private Section52() {
    }

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

        set.concept("Is-a", PublicIds.of("c93a30b9-ba77-3adb-a9b8-4589c9f8fb25", "46bccdc4-8fb6-11db-b606-0800200c9a66")).at(inception)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("b18eb010-2033-45e9-8691-ae408aca8a18"), IkeTerm.ENGLISH_LANGUAGE, "Is-a", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.FULLY_QUALIFIED_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("d6666e7a-cc14-4cfd-b9a0-057948862a19"), IkeTerm.ENGLISH_LANGUAGE, "Is a", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.REGULAR_NAME_DESCRIPTION_TYPE)
                .semantic(IkeTerm.DESCRIPTION_PATTERN, PublicIds.of("edb22f1b-47f8-4e30-aba0-648b62ace8ca"), IkeTerm.ENGLISH_LANGUAGE, "The subtype relation: everything the child names is also what the parent names. The relation taxonomy navigation is computed from, and the only axiom shape the ingested foundation uses.", IkeTerm.DESCRIPTION_NOT_CASE_SENSITIVE, IkeTerm.DEFINITION_DESCRIPTION_TYPE)
                .semantic(IkeTerm.IDENTIFIER_PATTERN, PublicIds.of("8cdfb6bd-5b4e-4f0e-9f47-01d0b508b28c"), IkeTerm.UNIVERSALLY_UNIQUE_IDENTIFIER, "c93a30b9-ba77-3adb-a9b8-4589c9f8fb25")
                .statedAxioms(PublicIds.of("30e6715e-e330-58e6-bddf-3601625b76c7"), leb -> leb.NecessarySet(leb.And(leb.ConceptAxiom(IkeTerm.TINKAR_MODEL_CONCEPT), leb.ConceptAxiom(IkeTerm.MEANING), leb.ConceptAxiom(IkeTerm.PURPOSE))))
                .semantic(IkeTerm.TINKAR_BASE_MODEL_COMPONENT_PATTERN, PublicIds.of("337c47d2-1953-4f0d-934b-f1d927081b99"))
                .semanticOn(PublicIds.of("b18eb010-2033-45e9-8691-ae408aca8a18"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("8bcc501c-a490-4c80-bf38-950a48d4dbe4"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("d6666e7a-cc14-4cfd-b9a0-057948862a19"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("ddd08cb7-1fef-4482-89a9-30567b87ed45"), IkeTerm.PREFERRED)
                .semanticOn(PublicIds.of("edb22f1b-47f8-4e30-aba0-648b62ace8ca"), IkeTerm.US_DIALECT_PATTERN, PublicIds.of("66a52bb6-4b88-4dad-949d-cf1f572be8b9"), IkeTerm.PREFERRED)
                ;

    }
}