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 15172-15173
(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 25358-25358
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15171-15171

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15090-15090
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 14142-14142
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12417-12417
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12850-12850
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11475-11475
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12403-12403
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 13172-13172
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 14153-14153
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12391-12391
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12538-12538
(subclass Chin AnimalAnatomicalStructure)	Mid-level-ontology.kif 14243-14243
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 13806-13806
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 13466-13466
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15200-15200
(subclass Exoskeleton AnimalAnatomicalStructure)	Mid-level-ontology.kif 12994-12994
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 13432-13432
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 14207-14207
(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 21944-21944
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 14022-14022
(subclass GastroIntestinalTract AnimalAnatomicalStructure)	Mid-level-ontology.kif 13376-13376
(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 265-265
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 13106-13106
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 13794-13794
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 14190-14190
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12661-12661

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 15175-15180

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: