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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalAnatomicalStructure
AnimalAnatomicalStructure(animal anatomical structure)animal_anatomical_structure

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


(documentation AnimalAnatomicalStructure ChineseLanguage "这是只属于 AnimalAnatomicalStructure。") Merge.kif 15123-15124
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") Merge.kif 15121-15122
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21633-21633 Every animal anatomical structure is initially part of a animal
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15120-15120 Animal anatomical structure is a subclass of anatomical structure

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 15058-15058 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9486-9486 Alveolus is a subclass of animal anatomical structure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 9746-9746 Animal shell is a subclass of animal anatomical structure
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9158-9158 Blood cell is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9472-9472 Blood vessel is a subclass of animal anatomical structure
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10001-10001 Brain is a subclass of animal anatomical structure
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10467-10467 Breast is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9460-9460 Bronchial duct is a subclass of animal anatomical structure
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 10525-10525 Chin is a subclass of animal anatomical structure
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10201-10201 Digit appendage is a subclass of animal anatomical structure
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10066-10066 Ear is a subclass of animal anatomical structure
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15155-15155 Egg is a subclass of animal anatomical structure
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9888-9888 Exoskeleton is a subclass of animal anatomical structure
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10051-10051 Eye is a subclass of animal anatomical structure
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10506-10506 Face is a subclass of animal anatomical structure
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18080-18080 Feather is a subclass of animal anatomical structure
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10363-10363 Foot is a subclass of animal anatomical structure
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9952-9952 Hair is a subclass of animal anatomical structure
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10189-10189 Hand is a subclass of animal anatomical structure
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10489-10489 Head is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9644-9644 Heart is a subclass of animal anatomical structure
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 9697-9697 Hoof is a subclass of animal anatomical structure
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10039-10039 Hypothalamus is a subclass of animal anatomical structure
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 10023-10023 Intestine is a subclass of animal anatomical structure
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9590-9590 Kidney 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 15126-15131


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners