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 26086-26086	Every animal anatomical structure is initially part of a animal

appearance as argument number 2

(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 266-266	Gills is a subclass of animal anatomical structure
(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 11520-11520	Blood cell is a subclass of animal anatomical structure
(subclass NerveCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12124-12124	Nerve cell is a subclass of animal anatomical structure
(subclass SpinalColumn AnimalAnatomicalStructure)	Mid-level-ontology.kif 12309-12309	Spinal column is a subclass of animal anatomical structure
(subclass Tail AnimalAnatomicalStructure)	Mid-level-ontology.kif 12340-12340	Tail is a subclass of animal anatomical structure
(subclass Skin AnimalAnatomicalStructure)	Mid-level-ontology.kif 12357-12357	Skin is a subclass of animal anatomical structure
(subclass Retina AnimalAnatomicalStructure)	Mid-level-ontology.kif 12423-12423	Retina is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 12436-12436	Bronchial duct is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 12448-12448	Blood vessel is a subclass of animal anatomical structure
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 12462-12462	Alveolus is a subclass of animal anatomical structure
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 12557-12557	Lung is a subclass of animal anatomical structure
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12583-12583	Chest is a subclass of animal anatomical structure
(subclass RibCage AnimalAnatomicalStructure)	Mid-level-ontology.kif 12609-12609	Rib cage is a subclass of animal anatomical structure
(subclass Kidney AnimalAnatomicalStructure)	Mid-level-ontology.kif 12637-12637	Kidney is a subclass of animal anatomical structure
(subclass Spleen AnimalAnatomicalStructure)	Mid-level-ontology.kif 12656-12656	Spleen is a subclass of animal anatomical structure
(subclass Nostril AnimalAnatomicalStructure)	Mid-level-ontology.kif 12683-12683	Nostril is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12706-12706	Heart is a subclass of animal anatomical structure
(subclass Pericardium AnimalAnatomicalStructure)	Mid-level-ontology.kif 12761-12761	Pericardial sac is a subclass of animal anatomical structure
(subclass Liver AnimalAnatomicalStructure)	Mid-level-ontology.kif 12791-12791	Liver is a subclass of animal anatomical structure
(subclass Mouth AnimalAnatomicalStructure)	Mid-level-ontology.kif 12795-12795	Mouth is a subclass of animal anatomical structure
(subclass Tongue AnimalAnatomicalStructure)	Mid-level-ontology.kif 12807-12807	Tongue is a subclass of animal anatomical structure
(subclass NervousSystem AnimalAnatomicalStructure)	Mid-level-ontology.kif 12820-12820	Nervous system is a subclass of animal anatomical structure
(subclass Hoof AnimalAnatomicalStructure)	Mid-level-ontology.kif 12831-12831	Hoof 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: