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 13924-13925
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21671-21671 initialPart AnimalAnatomicalStructure and Animal
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 13923-13923 subclass AnimalAnatomicalStructure and AnatomicalStructure

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 13868-13868 partition AnatomicalStructure, AnimalAnatomicalStructure and PlantAnatomicalStructure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9468-9468 subclass Alveolus and AnimalAnatomicalStructure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 9743-9743 subclass AnimalShell and AnimalAnatomicalStructure
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9140-9140 subclass BloodCell and AnimalAnatomicalStructure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9454-9454 subclass BloodVessel and AnimalAnatomicalStructure
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 9998-9998 subclass Brain and AnimalAnatomicalStructure
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10495-10495 subclass Breast and AnimalAnatomicalStructure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9442-9442 subclass BronchialDuct and AnimalAnatomicalStructure
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 10553-10553 subclass Chin and AnimalAnatomicalStructure
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10199-10199 subclass DigitAppendage and AnimalAnatomicalStructure
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10063-10063 subclass Ear and AnimalAnatomicalStructure
(subclass Egg AnimalAnatomicalStructure) Merge.kif 13952-13952 subclass Egg and AnimalAnatomicalStructure
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9885-9885 subclass Exoskeleton and AnimalAnatomicalStructure
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10048-10048 subclass Eye and AnimalAnatomicalStructure
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10534-10534 subclass Face and AnimalAnatomicalStructure
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18107-18107 subclass Feather and AnimalAnatomicalStructure
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10376-10376 subclass Foot and AnimalAnatomicalStructure
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9949-9949 subclass Hair and AnimalAnatomicalStructure
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10187-10187 subclass Hand and AnimalAnatomicalStructure
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10517-10517 subclass Head and AnimalAnatomicalStructure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9641-9641 subclass Heart and AnimalAnatomicalStructure
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 9694-9694 subclass Hoof and AnimalAnatomicalStructure
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10036-10036 subclass Hypothalamus and AnimalAnatomicalStructure
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 10020-10020 subclass Intestine and AnimalAnatomicalStructure
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9587-9587 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 13927-13932


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