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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalAnatomicalStructure
AnimalAnatomicalStructure

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 14300-14301
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 21916-21916
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 14299-14299

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14218-14218
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 9751-9751
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 10122-10122
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9087-9087
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 9737-9737
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 10399-10399
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 11199-11199
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 9725-9725
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 9871-9871
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 11289-11289
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 10882-10882
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 10641-10641
(subclass Egg AnimalAnatomicalStructure) Merge.kif 14328-14328
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 10266-10266
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 10626-10626
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 11253-11253
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 18429-18429
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 11076-11076
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 10584-10584
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 10331-10331
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 10870-10870
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 11236-11236
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9981-9981
(subclass Hoof AnimalAnatomicalStructure) Mid-level-ontology.kif 10072-10072
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 10614-10614

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 14303-14308


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