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)

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


(documentation AnimalAnatomicalStructure ChineseLanguage "这是只属于 AnimalAnatomicalStructure。") chinese_format.kif 3495-3496
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") Merge.kif 13897-13898
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21646-21646 Every animal anatomical structure is initially part of a animal
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 13896-13896 Animal anatomical structure is a subclass of anatomical structure

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 13841-13841 Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9489-9489 Alveolus is a subclass of animal anatomical structure
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 9749-9749 Animal shell is a subclass of animal anatomical structure
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9161-9161 Blood cell is a subclass of animal anatomical structure
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9475-9475 Blood vessel is a subclass of animal anatomical structure
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10004-10004 Brain is a subclass of animal anatomical structure
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10470-10470 Breast is a subclass of animal anatomical structure
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9463-9463 Bronchial duct is a subclass of animal anatomical structure
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 10528-10528 Chin is a subclass of animal anatomical structure
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10204-10204 Digit appendage is a subclass of animal anatomical structure
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10069-10069 Ear is a subclass of animal anatomical structure
(subclass Egg AnimalAnatomicalStructure) Merge.kif 13925-13925 Egg is a subclass of animal anatomical structure
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9891-9891 Exoskeleton is a subclass of animal anatomical structure
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10054-10054 Eye is a subclass of animal anatomical structure
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 10509-10509 Face is a subclass of animal anatomical structure
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18082-18082 Feather is a subclass of animal anatomical structure
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10366-10366 Foot is a subclass of animal anatomical structure
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 9955-9955 Hair is a subclass of animal anatomical structure
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10192-10192 Hand is a subclass of animal anatomical structure
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 10492-10492 Head is a subclass of animal anatomical structure
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9647-9647 Heart is a subclass of animal anatomical structure
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 9700-9700 Hoof is a subclass of animal anatomical structure
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10042-10042 Hypothalamus is a subclass of animal anatomical structure
(subclass Intestine AnimalAnatomicalStructure) Mid-level-ontology.kif 10026-10026 Intestine is a subclass of animal anatomical structure
(subclass Kidney AnimalAnatomicalStructure) Mid-level-ontology.kif 9593-9593 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 13900-13905


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