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。") Merge.kif 14986-14987
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") Merge.kif 14984-14985
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21241-21241
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14983-14983

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14921-14921
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9474-9474
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 9734-9734
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9146-9146
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9460-9460
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 9989-9989
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10455-10455
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9448-9448
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 10513-10513
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10189-10189
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10054-10054
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15018-15018
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9876-9876
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10039-10039
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10494-10494
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 17721-17721
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10351-10351
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9940-9940
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10177-10177
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10477-10477
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9632-9632
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 9685-9685
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10027-10027
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 10011-10011
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9578-9578

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 14989-14994


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