Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AnimalAnatomicalStructure

 Sigma KEE - AnimalAnatomicalStructure
AnimalAnatomicalStructure(animal anatomical structure)

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 26044-26044 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 11603-11603 Blood cell is a subclass of animal anatomical structure
(subclass NerveCell AnimalAnatomicalStructure) Mid-level-ontology.kif 12207-12207 Nerve cell is a subclass of animal anatomical structure
(subclass SpinalColumn AnimalAnatomicalStructure) Mid-level-ontology.kif 12417-12417 Spinal column is a subclass of animal anatomical structure
(subclass Tail AnimalAnatomicalStructure) Mid-level-ontology.kif 12448-12448 Tail is a subclass of animal anatomical structure
(subclass Skin AnimalAnatomicalStructure) Mid-level-ontology.kif 12465-12465 Skin is a subclass of animal anatomical structure
(subclass Retina AnimalAnatomicalStructure) Mid-level-ontology.kif 12543-12543 Retina is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 12556-12556 Bronchial duct is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 12568-12568 Blood vessel is a subclass of animal anatomical structure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 12582-12582 Alveolus is a subclass of animal anatomical structure
(subclass Lung AnimalAnatomicalStructure) Mid-level-ontology.kif 12677-12677 Lung is a subclass of animal anatomical structure
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 12703-12703 Chest is a subclass of animal anatomical structure
(subclass RibCage AnimalAnatomicalStructure) Mid-level-ontology.kif 12735-12735 Rib cage is a subclass of animal anatomical structure
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 12763-12763 Kidney is a subclass of animal anatomical structure
(subclass Spleen AnimalAnatomicalStructure) Mid-level-ontology.kif 12782-12782 Spleen is a subclass of animal anatomical structure
(subclass Nostril AnimalAnatomicalStructure) Mid-level-ontology.kif 12809-12809 Nostril is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 12832-12832 Heart is a subclass of animal anatomical structure
(subclass Pericardium AnimalAnatomicalStructure) Mid-level-ontology.kif 12887-12887 Pericardial sac is a subclass of animal anatomical structure
(subclass Liver AnimalAnatomicalStructure) Mid-level-ontology.kif 12917-12917 Liver is a subclass of animal anatomical structure
(subclass Mouth AnimalAnatomicalStructure) Mid-level-ontology.kif 12921-12921 Mouth is a subclass of animal anatomical structure
(subclass Tongue AnimalAnatomicalStructure) Mid-level-ontology.kif 12933-12933 Tongue is a subclass of animal anatomical structure
(subclass NervousSystem AnimalAnatomicalStructure) Mid-level-ontology.kif 12946-12946 Nervous system is a subclass of animal anatomical structure
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 12957-12957 Hoof is a subclass of animal anatomical structure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 13025-13025 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners