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 15150-15151
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 25367-25367 initialPart AnimalAnatomicalStructure and animal
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15149-15149 AnimalAnatomicalStructure est une sous-classe de structure anatomique

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15068-15068 Structure anatomique est compl�tement d�compos� en AnimalAnatomicalStructure + PlantAnatomicalStructure
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 14148-14148 Abdomen est une sous-classe de AnimalAnatomicalStructure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 12423-12423 Alveolus est une sous-classe de AnimalAnatomicalStructure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 12856-12856 AnimalShell est une sous-classe de AnimalAnatomicalStructure
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 11481-11481 BloodCell est une sous-classe de AnimalAnatomicalStructure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 12409-12409 BloodVessel est une sous-classe de AnimalAnatomicalStructure
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 13178-13178 Brain est une sous-classe de AnimalAnatomicalStructure
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 14159-14159 Breast est une sous-classe de AnimalAnatomicalStructure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 12397-12397 BronchialDuct est une sous-classe de AnimalAnatomicalStructure
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 12544-12544 Chest est une sous-classe de AnimalAnatomicalStructure
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 14249-14249 Chin est une sous-classe de AnimalAnatomicalStructure
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 13812-13812 DigitAppendage est une sous-classe de AnimalAnatomicalStructure
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 13472-13472 Ear est une sous-classe de AnimalAnatomicalStructure
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15178-15178 Egg est une sous-classe de AnimalAnatomicalStructure
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 13000-13000 Exoskeleton est une sous-classe de AnimalAnatomicalStructure
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 13438-13438 Eye est une sous-classe de AnimalAnatomicalStructure
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 14213-14213 Face est une sous-classe de AnimalAnatomicalStructure
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 21953-21953 Feather est une sous-classe de AnimalAnatomicalStructure
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 14028-14028 Foot est une sous-classe de AnimalAnatomicalStructure
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 13382-13382 GastroIntestinalTract est une sous-classe de AnimalAnatomicalStructure
(subclass Gills AnimalAnatomicalStructure) Medicine.kif 265-265 Gills est une sous-classe de AnimalAnatomicalStructure
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 13112-13112 Hair est une sous-classe de AnimalAnatomicalStructure
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 13800-13800 Hand est une sous-classe de AnimalAnatomicalStructure
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 14196-14196 Head est une sous-classe de AnimalAnatomicalStructure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 12667-12667 Heart est une sous-classe de 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 15153-15158


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