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 13897-13898
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21646-21646
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 13896-13896

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 13841-13841
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9489-9489
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 9749-9749
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9161-9161
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9475-9475
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10004-10004
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10470-10470
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9463-9463
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 10528-10528
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10204-10204
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10069-10069
(subclass Egg AnimalAnatomicalStructure) Merge.kif 13925-13925
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9891-9891
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10054-10054
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10509-10509
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18082-18082
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10366-10366
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9955-9955
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10192-10192
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10492-10492
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9647-9647
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 9700-9700
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10042-10042
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 10026-10026
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9593-9593

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 13900-13905


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners