AnimalAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15081-15081	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15178-15178	Egg is a subclass of animal anatomical structure
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11549-11549	Blood cell is a subclass of animal anatomical structure
(subclass NerveCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12153-12153	Nerve cell is a subclass of animal anatomical structure
(subclass SpinalColumn AnimalAnatomicalStructure)	Mid-level-ontology.kif 12364-12364	Spinal column is a subclass of animal anatomical structure
(subclass Tail AnimalAnatomicalStructure)	Mid-level-ontology.kif 12395-12395	Tail is a subclass of animal anatomical structure
(subclass Skin AnimalAnatomicalStructure)	Mid-level-ontology.kif 12412-12412	Skin is a subclass of animal anatomical structure
(subclass Retina AnimalAnatomicalStructure)	Mid-level-ontology.kif 12478-12478	Retina is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12491-12491	Bronchial duct is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12503-12503	Blood vessel is a subclass of animal anatomical structure
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12517-12517	Alveolus is a subclass of animal anatomical structure
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 12612-12612	Lung is a subclass of animal anatomical structure
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12638-12638	Chest is a subclass of animal anatomical structure
(subclass RibCage AnimalAnatomicalStructure)	Mid-level-ontology.kif 12664-12664	Rib cage is a subclass of animal anatomical structure
(subclass Kidney AnimalAnatomicalStructure)	Mid-level-ontology.kif 12692-12692	Kidney is a subclass of animal anatomical structure
(subclass Spleen AnimalAnatomicalStructure)	Mid-level-ontology.kif 12711-12711	Spleen is a subclass of animal anatomical structure
(subclass Nostril AnimalAnatomicalStructure)	Mid-level-ontology.kif 12738-12738	Nostril is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12761-12761	Heart is a subclass of animal anatomical structure
(subclass Pericardium AnimalAnatomicalStructure)	Mid-level-ontology.kif 12816-12816	Pericardial sac is a subclass of animal anatomical structure
(subclass Liver AnimalAnatomicalStructure)	Mid-level-ontology.kif 12846-12846	Liver is a subclass of animal anatomical structure
(subclass Mouth AnimalAnatomicalStructure)	Mid-level-ontology.kif 12850-12850	Mouth is a subclass of animal anatomical structure
(subclass Tongue AnimalAnatomicalStructure)	Mid-level-ontology.kif 12862-12862	Tongue is a subclass of animal anatomical structure
(subclass NervousSystem AnimalAnatomicalStructure)	Mid-level-ontology.kif 12875-12875	Nervous system is a subclass of animal anatomical structure
(subclass Hoof AnimalAnatomicalStructure)	Mid-level-ontology.kif 12886-12886	Hoof is a subclass of animal anatomical structure
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12954-12954	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 15153-15158

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: