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	initialPart AnimalAnatomicalStructure and animal
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15171-15171	AnimalAnatomicalStructure is a subclass of anatomical structure

appearance as argument number 2

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

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

If an object is an instance of AnimalAnatomicalStructure and another object is an instance of organism and the object is a part of the other object,
then the other object is an instance of animal

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: