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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Primate

Sigma KEE - Primate
Primate(Primata)

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


(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14649-14649 Primata e' disjuntamente decomponivel em Simio, Macaco, + Hominideo
(documentation Primate ChineseLanguage "这是 PrimateMammal Class。") chinese_format.kif 3434-3434
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") Merge.kif 14650-14651
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px-Orang-utan_bukit_lawang_2006.jpg") pictureList-ImageNet.kif 237-237
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Ring_tailed_lemurs.jpg/ 250px-Ring_tailed_lemurs.jpg") pictureList-ImageNet.kif 236-236
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 3e/ Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg/ 800px-Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg") pictureList-ImageNet.kif 235-235
(externalImage Primate "http://upload.wikimedia.org/wikipedia/en/thumb/9/ 9f/ Primate-in-cage-restraint.jpeg/ 200px-Primate-in-cage-restraint.jpeg") pictureList-ImageNet.kif 234-234
(subclass Primate Mammal) Merge.kif 14648-14648 Primata e' uma sub-classe de Mamifero

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


(initialPart Bone Primate) Anatomy.kif 21-21 initialPart Osso and Primata
(subclass Ape Primate) Merge.kif 14653-14653 Simio e' uma sub-classe de Primata
(subclass Hominid Primate) Merge.kif 14661-14661 Hominideo e' uma sub-classe de Primata
(subclass Lemur Primate) Mid-level-ontology.kif 30459-30459 Lemur e' uma sub-classe de Primata
(subclass Monkey Primate) Merge.kif 14657-14657 Macaco e' uma sub-classe de Primata
(termFormat ChineseLanguage Primate "灵长类动物") chinese_format.kif 998-998
(termFormat EnglishLanguage Primate "primate") english_format.kif 1203-1203
(termFormat FrenchLanguage Primate "primate") french_format.kif 675-675
(termFormat Hindi Primate "vikasita pashuvarga") terms-hindi.txt 206-206
(termFormat ItalianLanguage Primate "Primato") terms-it.txt 209-209
(termFormat JapaneseLanguage Primate "霊長類") japanese_format.kif 2359-2359
(termFormat PortugueseLanguage Primate "Primata") portuguese_format.kif 627-627
(termFormat cz Primate "primate") terms-cz.txt 243-243
(termFormat ro Primate "primatã") relations-ro.kif 696-696
(termFormat tg Primate "Primado") terms-tg.txt 210-210

antecedent
-------------------------


(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Foot)
            (instance ?L2 Foot)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))
Mid-level-ontology.kif 12708-12721
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Leg)
            (instance ?L2 Leg)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))
Mid-level-ontology.kif 12681-12694
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Lung)
            (instance ?L2 Lung)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))
Mid-level-ontology.kif 11197-11210

consequent
-------------------------


(=>
    (instance ?ARM Arm)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?ARM ?PRIMATE))))
Mid-level-ontology.kif 12461-12466
(=>
    (instance ?B Breast)
    (exists (?P)
        (and
            (instance ?P Primate)
            (part ?B ?P))))
Mid-level-ontology.kif 12840-12845
(=>
    (instance ?SHOULDER Shoulder)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?SHOULDER ?PRIMATE))))
Mid-level-ontology.kif 12784-12789


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 is open source software produced by Articulate Software and its partners