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 14733-14734
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23168-23168
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14732-14732

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14651-14651
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12282-12282
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 10599-10599
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 11010-11010
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9724-9724
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 10585-10585
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11332-11332
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12293-12293
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 10573-10573
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 10719-10719
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12383-12383
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 11962-11962
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 11623-11623
(subclass Egg AnimalAnatomicalStructure) Merge.kif 14761-14761
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11154-11154
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 11589-11589
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12347-12347
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 19667-19667
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12162-12162
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 11533-11533
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11266-11266
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 11950-11950
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12330-12330
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 10840-10840
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 10960-10960

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 14736-14741


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