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 14342-14343
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 22812-22812 initialPart AnimalAnatomicalStructure and Animal
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14341-14341 subclass AnimalAnatomicalStructure and AnatomicalStructure

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14260-14260 partition AnatomicalStructure, AnimalAnatomicalStructure and PlantAnatomicalStructure
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12015-12015 subclass Abdomen and AnimalAnatomicalStructure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 10359-10359 subclass Alveolus and AnimalAnatomicalStructure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 10742-10742 subclass AnimalShell and AnimalAnatomicalStructure
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9484-9484 subclass BloodCell and AnimalAnatomicalStructure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 10345-10345 subclass BloodVessel and AnimalAnatomicalStructure
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11066-11066 subclass Brain and AnimalAnatomicalStructure
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12026-12026 subclass Breast and AnimalAnatomicalStructure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 10333-10333 subclass BronchialDuct and AnimalAnatomicalStructure
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 10479-10479 subclass Chest and AnimalAnatomicalStructure
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12116-12116 subclass Chin and AnimalAnatomicalStructure
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 11695-11695 subclass DigitAppendage and AnimalAnatomicalStructure
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 11357-11357 subclass Ear and AnimalAnatomicalStructure
(subclass Egg AnimalAnatomicalStructure) Merge.kif 14370-14370 subclass Egg and AnimalAnatomicalStructure
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 10886-10886 subclass Exoskeleton and AnimalAnatomicalStructure
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 11323-11323 subclass Eye and AnimalAnatomicalStructure
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12080-12080 subclass Face and AnimalAnatomicalStructure
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 19325-19325 subclass Feather and AnimalAnatomicalStructure
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 11895-11895 subclass Foot and AnimalAnatomicalStructure
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 11267-11267 subclass GastroIntestinalTract and AnimalAnatomicalStructure
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 10998-10998 subclass Hair and AnimalAnatomicalStructure
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 11683-11683 subclass Hand and AnimalAnatomicalStructure
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12063-12063 subclass Head and AnimalAnatomicalStructure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 10601-10601 subclass Heart and AnimalAnatomicalStructure
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 10692-10692 subclass Hoof and AnimalAnatomicalStructure

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 14345-14350


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 3.0 is open source software produced by Articulate Software and its partners