Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalAnatomicalStructure
AnimalAnatomicalStructure

appearance as argument number 1
-------------------------


(documentation AnimalAnatomicalStructure ChineseLanguage "这是只属于 AnimalAnatomicalStructure。") chinese_format.kif 3495-3496
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") Merge.kif 13959-13960
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 20158-20158 initialPart AnimalAnatomicalStructure and Animal
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 13958-13958 subclass AnimalAnatomicalStructure and AnatomicalStructure

appearance as argument number 2
-------------------------


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 13903-13903 partition AnatomicalStructure, AnimalAnatomicalStructure and PlantAnatomicalStructure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 8611-8611 subclass Alveolus and AnimalAnatomicalStructure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 8890-8890 subclass AnimalShell and AnimalAnatomicalStructure
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 8290-8290 subclass BloodCell and AnimalAnatomicalStructure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 8597-8597 subclass BloodVessel and AnimalAnatomicalStructure
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 9149-9149 subclass Brain and AnimalAnatomicalStructure
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 9653-9653 subclass Breast and AnimalAnatomicalStructure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 8585-8585 subclass BronchialDuct and AnimalAnatomicalStructure
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 9712-9712 subclass Chin and AnimalAnatomicalStructure
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 9351-9351 subclass DigitAppendage and AnimalAnatomicalStructure
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 9214-9214 subclass Ear and AnimalAnatomicalStructure
(subclass Egg AnimalAnatomicalStructure) Merge.kif 13987-13987 subclass Egg and AnimalAnatomicalStructure
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9034-9034 subclass Exoskeleton and AnimalAnatomicalStructure
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 9199-9199 subclass Eye and AnimalAnatomicalStructure
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 9693-9693 subclass Face and AnimalAnatomicalStructure
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 16831-16831 subclass Feather and AnimalAnatomicalStructure
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 9530-9530 subclass Foot and AnimalAnatomicalStructure
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9099-9099 subclass Hair and AnimalAnatomicalStructure
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 9339-9339 subclass Hand and AnimalAnatomicalStructure
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 9676-9676 subclass Head and AnimalAnatomicalStructure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 8787-8787 subclass Heart and AnimalAnatomicalStructure
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 8840-8840 subclass Hoof and AnimalAnatomicalStructure
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 9187-9187 subclass Hypothalamus and AnimalAnatomicalStructure
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 9171-9171 subclass Intestine and AnimalAnatomicalStructure
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 8732-8732 subclass Kidney and AnimalAnatomicalStructure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 13962-13967


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners