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 15101-15102
(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 25375-25375
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15100-15100

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15019-15019
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 14166-14166
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12441-12441
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12874-12874
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11501-11501
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12427-12427
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 13196-13196
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 14177-14177
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12415-12415
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12562-12562
(subclass Chin AnimalAnatomicalStructure)	Mid-level-ontology.kif 14267-14267
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 13830-13830
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 13490-13490
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15129-15129
(subclass Exoskeleton AnimalAnatomicalStructure)	Mid-level-ontology.kif 13018-13018
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 13456-13456
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 14231-14231
(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 21960-21960
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 14046-14046
(subclass GastroIntestinalTract AnimalAnatomicalStructure)	Mid-level-ontology.kif 13400-13400
(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 265-265
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 13130-13130
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 13818-13818
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 14214-14214
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12685-12685

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 15104-15109

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: