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 13907-13908
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21698-21698
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 13906-13906

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 13851-13851
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9495-9495
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 9770-9770
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9167-9167
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9481-9481
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10025-10025
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10522-10522
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9469-9469
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 10580-10580
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10226-10226
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10090-10090
(subclass Egg AnimalAnatomicalStructure) Merge.kif 13935-13935
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9912-9912
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10075-10075
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10561-10561
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18134-18134
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10403-10403
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9976-9976
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10214-10214
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10544-10544
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9668-9668
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 9721-9721
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10063-10063
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 10047-10047
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9614-9614

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 13910-13915


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