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 13806-13807
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21634-21634 initialPart AnimalAnatomicalStructure and Animal
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 13805-13805 subclass AnimalAnatomicalStructure and AnatomicalStructure

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 13750-13750 partition AnatomicalStructure, AnimalAnatomicalStructure and PlantAnatomicalStructure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9488-9488 subclass Alveolus and AnimalAnatomicalStructure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 9748-9748 subclass AnimalShell and AnimalAnatomicalStructure
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9160-9160 subclass BloodCell and AnimalAnatomicalStructure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9474-9474 subclass BloodVessel and AnimalAnatomicalStructure
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10003-10003 subclass Brain and AnimalAnatomicalStructure
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10469-10469 subclass Breast and AnimalAnatomicalStructure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9462-9462 subclass BronchialDuct and AnimalAnatomicalStructure
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 10527-10527 subclass Chin and AnimalAnatomicalStructure
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10203-10203 subclass DigitAppendage and AnimalAnatomicalStructure
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10068-10068 subclass Ear and AnimalAnatomicalStructure
(subclass Egg AnimalAnatomicalStructure) Merge.kif 13834-13834 subclass Egg and AnimalAnatomicalStructure
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9890-9890 subclass Exoskeleton and AnimalAnatomicalStructure
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10053-10053 subclass Eye and AnimalAnatomicalStructure
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10508-10508 subclass Face and AnimalAnatomicalStructure
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18081-18081 subclass Feather and AnimalAnatomicalStructure
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10365-10365 subclass Foot and AnimalAnatomicalStructure
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9954-9954 subclass Hair and AnimalAnatomicalStructure
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10191-10191 subclass Hand and AnimalAnatomicalStructure
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10491-10491 subclass Head and AnimalAnatomicalStructure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9646-9646 subclass Heart and AnimalAnatomicalStructure
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 9699-9699 subclass Hoof and AnimalAnatomicalStructure
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10041-10041 subclass Hypothalamus and AnimalAnatomicalStructure
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 10025-10025 subclass Intestine and AnimalAnatomicalStructure
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9592-9592 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 13809-13814


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners