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 15019-15020
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23720-23720 initialPart AnimalAnatomicalStructure and Animal
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15018-15018 AnimalAnatomicalStructure e' uma sub-classe de Estructura Anatomica

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14937-14937 O conceito Estructura Anatomica e' completamente decomposto em AnimalAnatomicalStructure + PlantAnatomicalStructure
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12816-12816 Abdomen e' uma sub-classe de AnimalAnatomicalStructure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 11091-11091 Alveolus e' uma sub-classe de AnimalAnatomicalStructure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 11524-11524 AnimalShell e' uma sub-classe de AnimalAnatomicalStructure
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 10151-10151 BloodCell e' uma sub-classe de AnimalAnatomicalStructure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 11077-11077 BloodVessel e' uma sub-classe de AnimalAnatomicalStructure
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11846-11846 Brain e' uma sub-classe de AnimalAnatomicalStructure
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12827-12827 Breast e' uma sub-classe de AnimalAnatomicalStructure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 11065-11065 BronchialDuct e' uma sub-classe de AnimalAnatomicalStructure
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 11212-11212 Chest e' uma sub-classe de AnimalAnatomicalStructure
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12917-12917 Chin e' uma sub-classe de AnimalAnatomicalStructure
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 12480-12480 DigitAppendage e' uma sub-classe de AnimalAnatomicalStructure
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 12140-12140 Ear e' uma sub-classe de AnimalAnatomicalStructure
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15047-15047 Egg e' uma sub-classe de AnimalAnatomicalStructure
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11668-11668 Exoskeleton e' uma sub-classe de AnimalAnatomicalStructure
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 12106-12106 Eye e' uma sub-classe de AnimalAnatomicalStructure
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12881-12881 Face e' uma sub-classe de AnimalAnatomicalStructure
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 20335-20335 Feather e' uma sub-classe de AnimalAnatomicalStructure
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12696-12696 Foot e' uma sub-classe de AnimalAnatomicalStructure
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 12050-12050 GastroIntestinalTract e' uma sub-classe de AnimalAnatomicalStructure
(subclass Gills AnimalAnatomicalStructure) Medicine.kif 265-265 Gills e' uma sub-classe de AnimalAnatomicalStructure
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11780-11780 Hair e' uma sub-classe de AnimalAnatomicalStructure
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 12468-12468 Hand e' uma sub-classe de AnimalAnatomicalStructure
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12864-12864 Head e' uma sub-classe de AnimalAnatomicalStructure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 11335-11335 Heart e' uma sub-classe de 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 15022-15027


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