AnimalAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15158-15158	Animal anatomical structure is a subclass of anatomical structure
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.")	Merge.kif 15159-15160	Animal anatomical structure is a subclass of anatomical structure
(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 26088-26088	Every animal anatomical structure is initially part of a animal

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 Egg AnimalAnatomicalStructure)	Merge.kif 15187-15187	Egg is a subclass of animal anatomical structure
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11551-11551	Blood cell is a subclass of animal anatomical structure
(subclass NerveCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12155-12155	Nerve cell is a subclass of animal anatomical structure
(subclass SpinalColumn AnimalAnatomicalStructure)	Mid-level-ontology.kif 12366-12366	Spinal column is a subclass of animal anatomical structure
(subclass Tail AnimalAnatomicalStructure)	Mid-level-ontology.kif 12397-12397	Tail is a subclass of animal anatomical structure
(subclass Skin AnimalAnatomicalStructure)	Mid-level-ontology.kif 12414-12414	Skin is a subclass of animal anatomical structure
(subclass Retina AnimalAnatomicalStructure)	Mid-level-ontology.kif 12480-12480	Retina is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12493-12493	Bronchial duct is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12505-12505	Blood vessel is a subclass of animal anatomical structure
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12519-12519	Alveolus is a subclass of animal anatomical structure
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 12614-12614	Lung is a subclass of animal anatomical structure
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12640-12640	Chest is a subclass of animal anatomical structure
(subclass RibCage AnimalAnatomicalStructure)	Mid-level-ontology.kif 12666-12666	Rib cage is a subclass of animal anatomical structure
(subclass Kidney AnimalAnatomicalStructure)	Mid-level-ontology.kif 12694-12694	Kidney is a subclass of animal anatomical structure
(subclass Spleen AnimalAnatomicalStructure)	Mid-level-ontology.kif 12713-12713	Spleen is a subclass of animal anatomical structure
(subclass Nostril AnimalAnatomicalStructure)	Mid-level-ontology.kif 12740-12740	Nostril is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12763-12763	Heart is a subclass of animal anatomical structure
(subclass Pericardium AnimalAnatomicalStructure)	Mid-level-ontology.kif 12818-12818	Pericardial sac is a subclass of animal anatomical structure
(subclass Liver AnimalAnatomicalStructure)	Mid-level-ontology.kif 12848-12848	Liver is a subclass of animal anatomical structure
(subclass Mouth AnimalAnatomicalStructure)	Mid-level-ontology.kif 12852-12852	Mouth is a subclass of animal anatomical structure
(subclass Tongue AnimalAnatomicalStructure)	Mid-level-ontology.kif 12864-12864	Tongue is a subclass of animal anatomical structure
(subclass NervousSystem AnimalAnatomicalStructure)	Mid-level-ontology.kif 12877-12877	Nervous system is a subclass of animal anatomical structure
(subclass Hoof AnimalAnatomicalStructure)	Mid-level-ontology.kif 12888-12888	Hoof is a subclass of animal anatomical structure
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12956-12956	Animal shell 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 15162-15167

If X is an instance of animal anatomical structure, Y is an instance of organism, and X is a part of Y, then Y 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.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: