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	Every animal anatomical structure is initially part of a animal
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15171-15171	Animal anatomical structure 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 animal anatomical structure and plant anatomical structure
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 14142-14142	Abdomen is a subclass of animal anatomical structure
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12417-12417	Alveolus is a subclass of animal anatomical structure
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12850-12850	Animal shell is a subclass of animal anatomical structure
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11475-11475	Blood cell is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12403-12403	Blood vessel is a subclass of animal anatomical structure
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 13172-13172	Brain is a subclass of animal anatomical structure
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 14153-14153	Breast is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12391-12391	Bronchial duct is a subclass of animal anatomical structure
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12538-12538	Chest is a subclass of animal anatomical structure
(subclass Chin AnimalAnatomicalStructure)	Mid-level-ontology.kif 14243-14243	Chin is a subclass of animal anatomical structure
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 13806-13806	Digit appendage is a subclass of animal anatomical structure
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 13466-13466	Ear is a subclass of animal anatomical structure
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15200-15200	Egg is a subclass of animal anatomical structure
(subclass Exoskeleton AnimalAnatomicalStructure)	Mid-level-ontology.kif 12994-12994	Exoskeleton is a subclass of animal anatomical structure
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 13432-13432	Eye is a subclass of animal anatomical structure
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 14207-14207	Face is a subclass of animal anatomical structure
(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 21944-21944	Feather is a subclass of animal anatomical structure
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 14022-14022	Foot is a subclass of animal anatomical structure
(subclass GastroIntestinalTract AnimalAnatomicalStructure)	Mid-level-ontology.kif 13376-13376	GI is a subclass of animal anatomical structure
(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 265-265	Gills is a subclass of animal anatomical structure
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 13106-13106	Hair is a subclass of animal anatomical structure
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 13794-13794	Hand is a subclass of animal anatomical structure
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 14190-14190	Head is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12661-12661	Heart is a subclass of animal anatomical structure

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 animal anatomical structure 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: