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 14749-14750
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23253-23253
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14748-14748

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14667-14667
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12337-12337
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 10648-10648
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 11061-11061
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9770-9770
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 10634-10634
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11383-11383
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12348-12348
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 10622-10622
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 10768-10768
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12438-12438
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 12017-12017
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 11676-11676
(subclass Egg AnimalAnatomicalStructure) Merge.kif 14777-14777
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11205-11205
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 11642-11642
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12402-12402
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 19728-19728
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12217-12217
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 11586-11586
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11317-11317
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 12005-12005
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12385-12385
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 10891-10891
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 11011-11011

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 14752-14757


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