AnimalAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AnimalAnatomicalStructure ChineseLanguage "这是只属于 Animal 的 AnatomicalStructure。")	chinese_format.kif 3495-3496
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.")	Merge.kif 15043-15044
(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 24009-24009
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15042-15042

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 14961-14961
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 13035-13035
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 11310-11310
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11743-11743
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 10370-10370
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 11296-11296
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 12065-12065
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 13046-13046
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 11284-11284
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 11431-11431
(subclass Chin AnimalAnatomicalStructure)	Mid-level-ontology.kif 13136-13136
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 12699-12699
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 12359-12359
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15071-15071
(subclass Exoskeleton AnimalAnatomicalStructure)	Mid-level-ontology.kif 11887-11887
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 12325-12325
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 13100-13100
(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 20594-20594
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 12915-12915
(subclass GastroIntestinalTract AnimalAnatomicalStructure)	Mid-level-ontology.kif 12269-12269
(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 265-265
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 11999-11999
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 12687-12687
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 13083-13083
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 11554-11554

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 15046-15051

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

KB Term:			Term intersection

English Word: