AnimalAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15171-15171	Animal anatomical structure is a subclass of anatomical structure
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.")	Merge.kif 15172-15173	Animal anatomical structure is a subclass of anatomical structure
(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 26104-26104	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 15200-15200	Egg is a subclass of animal anatomical structure
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11521-11521	Blood cell is a subclass of animal anatomical structure
(subclass NerveCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12125-12125	Nerve cell is a subclass of animal anatomical structure
(subclass SpinalColumn AnimalAnatomicalStructure)	Mid-level-ontology.kif 12332-12332	Spinal column is a subclass of animal anatomical structure
(subclass Tail AnimalAnatomicalStructure)	Mid-level-ontology.kif 12363-12363	Tail is a subclass of animal anatomical structure
(subclass Skin AnimalAnatomicalStructure)	Mid-level-ontology.kif 12380-12380	Skin is a subclass of animal anatomical structure
(subclass Retina AnimalAnatomicalStructure)	Mid-level-ontology.kif 12446-12446	Retina is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12459-12459	Bronchial duct is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12471-12471	Blood vessel is a subclass of animal anatomical structure
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12485-12485	Alveolus is a subclass of animal anatomical structure
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 12580-12580	Lung is a subclass of animal anatomical structure
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12606-12606	Chest is a subclass of animal anatomical structure
(subclass RibCage AnimalAnatomicalStructure)	Mid-level-ontology.kif 12632-12632	Rib cage is a subclass of animal anatomical structure
(subclass Kidney AnimalAnatomicalStructure)	Mid-level-ontology.kif 12660-12660	Kidney is a subclass of animal anatomical structure
(subclass Spleen AnimalAnatomicalStructure)	Mid-level-ontology.kif 12679-12679	Spleen is a subclass of animal anatomical structure
(subclass Nostril AnimalAnatomicalStructure)	Mid-level-ontology.kif 12706-12706	Nostril is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12729-12729	Heart is a subclass of animal anatomical structure
(subclass Pericardium AnimalAnatomicalStructure)	Mid-level-ontology.kif 12784-12784	Pericardial sac is a subclass of animal anatomical structure
(subclass Liver AnimalAnatomicalStructure)	Mid-level-ontology.kif 12814-12814	Liver is a subclass of animal anatomical structure
(subclass Mouth AnimalAnatomicalStructure)	Mid-level-ontology.kif 12818-12818	Mouth is a subclass of animal anatomical structure
(subclass Tongue AnimalAnatomicalStructure)	Mid-level-ontology.kif 12830-12830	Tongue is a subclass of animal anatomical structure
(subclass NervousSystem AnimalAnatomicalStructure)	Mid-level-ontology.kif 12843-12843	Nervous system is a subclass of animal anatomical structure
(subclass Hoof AnimalAnatomicalStructure)	Mid-level-ontology.kif 12854-12854	Hoof is a subclass of animal anatomical structure
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12922-12922	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 15175-15180

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: