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 13944-13945
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21677-21677
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 13943-13943

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 13888-13888
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9470-9470
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 9745-9745
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9142-9142
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9456-9456
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10000-10000
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10497-10497
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9444-9444
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 10555-10555
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10201-10201
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10065-10065
(subclass Egg AnimalAnatomicalStructure) Merge.kif 13972-13972
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9887-9887
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10050-10050
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10536-10536
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18112-18112
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10378-10378
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9951-9951
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10189-10189
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10519-10519
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9643-9643
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 9696-9696
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10038-10038
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 10022-10022
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9589-9589

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 13947-13952


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