Ontology - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Ontology ClassificationScheme)	Mid-level-ontology.kif 25077-25077	Ontology is a subclass of classification scheme
(documentation Ontology EnglishLanguage "An Ontology is a ClassificationScheme that links concepts via many different relations. Ontologies typically are not restricted to binary relations and are structured by several kinds of conceptual hierarchies, including set- or class-based subsumption, spatial containment, mereology (theory of parts and wholes), and logical contexts. Thus, an ontology typically includes multiple taxonomies.")	Mid-level-ontology.kif 25078-25085	Ontology is a subclass of classification scheme

appearance as argument number 2

(termFormat EnglishLanguage Ontology "ontology")	domainEnglishFormat.kif 42179-42179
(termFormat ChineseTraditionalLanguage Ontology "本體論")	domainEnglishFormat.kif 42180-42180
(termFormat ChineseLanguage Ontology "本体论")	domainEnglishFormat.kif 42181-42181

antecedent

(=>
    (instance ?ONT Ontology)
    (exists (?TAX)
        (and
            (instance ?TAX Taxonomy)
            (abstractPart ?TAX ?ONT))))

If X is an instance of ontology, then there exists Y such that Y is an instance of taxonomy and Y is a part of X