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 15135-15136
(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 25369-25369
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15134-15134

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15053-15053
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 14148-14148
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12423-12423
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12856-12856
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11481-11481
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12409-12409
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 13178-13178
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 14159-14159
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12397-12397
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12544-12544
(subclass Chin AnimalAnatomicalStructure)	Mid-level-ontology.kif 14249-14249
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 13812-13812
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 13472-13472
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15163-15163
(subclass Exoskeleton AnimalAnatomicalStructure)	Mid-level-ontology.kif 13000-13000
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 13438-13438
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 14213-14213
(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 21953-21953
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 14028-14028
(subclass GastroIntestinalTract AnimalAnatomicalStructure)	Mid-level-ontology.kif 13382-13382
(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 265-265
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 13112-13112
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 13800-13800
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 14196-14196
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12667-12667

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 15138-15143

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: