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 15019-15020
(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 23720-23720
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15018-15018

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 14937-14937
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 12816-12816
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 11091-11091
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11524-11524
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 10151-10151
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 11077-11077
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 11846-11846
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 12827-12827
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 11065-11065
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 11212-11212
(subclass Chin AnimalAnatomicalStructure)	Mid-level-ontology.kif 12917-12917
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 12480-12480
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 12140-12140
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15047-15047
(subclass Exoskeleton AnimalAnatomicalStructure)	Mid-level-ontology.kif 11668-11668
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 12106-12106
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 12881-12881
(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 20335-20335
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 12696-12696
(subclass GastroIntestinalTract AnimalAnatomicalStructure)	Mid-level-ontology.kif 12050-12050
(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 265-265
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 11780-11780
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 12468-12468
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 12864-12864
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 11335-11335

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

KB Term:			Term intersection

English Word: