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


KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalAnatomicalStructure
AnimalAnatomicalStructure

appearance as argument number 1
-------------------------


(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15292-15292
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") Merge.kif 15293-15294
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 26044-26044

appearance as argument number 2
-------------------------


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15224-15224
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15321-15321
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 11603-11603
(subclass NerveCell AnimalAnatomicalStructure) Mid-level-ontology.kif 12207-12207
(subclass SpinalColumn AnimalAnatomicalStructure) Mid-level-ontology.kif 12417-12417
(subclass Tail AnimalAnatomicalStructure) Mid-level-ontology.kif 12448-12448
(subclass Skin AnimalAnatomicalStructure) Mid-level-ontology.kif 12465-12465
(subclass Retina AnimalAnatomicalStructure) Mid-level-ontology.kif 12543-12543
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 12556-12556
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 12568-12568
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 12582-12582
(subclass Lung AnimalAnatomicalStructure) Mid-level-ontology.kif 12677-12677
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 12703-12703
(subclass RibCage AnimalAnatomicalStructure) Mid-level-ontology.kif 12735-12735
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 12763-12763
(subclass Spleen AnimalAnatomicalStructure) Mid-level-ontology.kif 12782-12782
(subclass Nostril AnimalAnatomicalStructure) Mid-level-ontology.kif 12809-12809
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 12832-12832
(subclass Pericardium AnimalAnatomicalStructure) Mid-level-ontology.kif 12887-12887
(subclass Liver AnimalAnatomicalStructure) Mid-level-ontology.kif 12917-12917
(subclass Mouth AnimalAnatomicalStructure) Mid-level-ontology.kif 12921-12921
(subclass Tongue AnimalAnatomicalStructure) Mid-level-ontology.kif 12933-12933
(subclass NervousSystem AnimalAnatomicalStructure) Mid-level-ontology.kif 12946-12946
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 12957-12957
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 13025-13025

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


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