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 14727-14728
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23164-23164
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14726-14726

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14645-14645
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12278-12278
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 10595-10595
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 11006-11006
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9720-9720
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 10581-10581
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11328-11328
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12289-12289
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 10569-10569
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 10715-10715
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12379-12379
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 11958-11958
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 11619-11619
(subclass Egg AnimalAnatomicalStructure) Merge.kif 14755-14755
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11150-11150
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 11585-11585
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12343-12343
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 19663-19663
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12158-12158
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 11529-11529
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11262-11262
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 11946-11946
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12326-12326
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 10836-10836
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 10956-10956

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 14730-14735


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