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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimalAnatomicalStructure

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 14997-14998
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23721-23721
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14996-14996

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14915-14915
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12817-12817
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 11092-11092
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 11525-11525
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 10152-10152
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 11078-11078
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11847-11847
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12828-12828
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 11066-11066
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 11213-11213
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12918-12918
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 12481-12481
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 12141-12141
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15025-15025
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11669-11669
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 12107-12107
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12882-12882
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 20336-20336
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12697-12697
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 12051-12051
(subclass Gills AnimalAnatomicalStructure) Medicine.kif 265-265
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11781-11781
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 12469-12469
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12865-12865
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 11336-11336

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 15000-15005


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

Show without tree


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