AnimalAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15224-15224	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15321-15321	Egg is a subclass of animal anatomical structure
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11574-11574	Blood cell is a subclass of animal anatomical structure
(subclass NerveCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12178-12178	Nerve cell is a subclass of animal anatomical structure
(subclass SpinalColumn AnimalAnatomicalStructure)	Mid-level-ontology.kif 12388-12388	Spinal column is a subclass of animal anatomical structure
(subclass Tail AnimalAnatomicalStructure)	Mid-level-ontology.kif 12419-12419	Tail is a subclass of animal anatomical structure
(subclass Skin AnimalAnatomicalStructure)	Mid-level-ontology.kif 12436-12436	Skin is a subclass of animal anatomical structure
(subclass Retina AnimalAnatomicalStructure)	Mid-level-ontology.kif 12514-12514	Retina is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12527-12527	Bronchial duct is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12539-12539	Blood vessel is a subclass of animal anatomical structure
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12553-12553	Alveolus is a subclass of animal anatomical structure
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 12648-12648	Lung is a subclass of animal anatomical structure
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12674-12674	Chest is a subclass of animal anatomical structure
(subclass RibCage AnimalAnatomicalStructure)	Mid-level-ontology.kif 12706-12706	Rib cage is a subclass of animal anatomical structure
(subclass Kidney AnimalAnatomicalStructure)	Mid-level-ontology.kif 12734-12734	Kidney is a subclass of animal anatomical structure
(subclass Spleen AnimalAnatomicalStructure)	Mid-level-ontology.kif 12753-12753	Spleen is a subclass of animal anatomical structure
(subclass Nostril AnimalAnatomicalStructure)	Mid-level-ontology.kif 12780-12780	Nostril is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12803-12803	Heart is a subclass of animal anatomical structure
(subclass Pericardium AnimalAnatomicalStructure)	Mid-level-ontology.kif 12858-12858	Pericardial sac is a subclass of animal anatomical structure
(subclass Liver AnimalAnatomicalStructure)	Mid-level-ontology.kif 12888-12888	Liver is a subclass of animal anatomical structure
(subclass Mouth AnimalAnatomicalStructure)	Mid-level-ontology.kif 12892-12892	Mouth is a subclass of animal anatomical structure
(subclass Tongue AnimalAnatomicalStructure)	Mid-level-ontology.kif 12904-12904	Tongue is a subclass of animal anatomical structure
(subclass NervousSystem AnimalAnatomicalStructure)	Mid-level-ontology.kif 12917-12917	Nervous system is a subclass of animal anatomical structure
(subclass Hoof AnimalAnatomicalStructure)	Mid-level-ontology.kif 12928-12928	Hoof is a subclass of animal anatomical structure
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12996-12996	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 15296-15301

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-321a000c (2026-05-05) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: