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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Primate
Primate(primate)

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


(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14780-14780 Primate est disjointement decompos� en simien, singe, + hominid�
(documentation Primate ChineseLanguage "这是 PrimateMammal Class。") chinese_format.kif 3434-3434 Primate est disjointement decompos� en simien, singe, + hominid�
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") Merge.kif 14781-14782 Primate est disjointement decompos� en simien, singe, + hominid�
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px_Orang_utan_bukit_lawang_2006.jpg") pictureList-ImageNet.kif 237-237 Primate est disjointement decompos� en simien, singe, + hominid�
(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 Primate est disjointement decompos� en simien, singe, + hominid�
(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 Primate est disjointement decompos� en simien, singe, + hominid�
(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 Primate est disjointement decompos� en simien, singe, + hominid�
(subclass Primate Mammal) Merge.kif 14779-14779 Primate est une sous-classe de mammif�re

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


(initialPart Bone Primate) Anatomy.kif 20-20 initialPart os and primate
(subclass Ape Primate) Merge.kif 14784-14784 Simien est une sous-classe de primate
(subclass Hominid Primate) Merge.kif 14792-14792 Hominid� est une sous-classe de primate
(subclass Lemur Primate) Mid-level-ontology.kif 32405-32405 Lemur est une sous-classe de primate
(subclass Monkey Primate) Merge.kif 14788-14788 Singe est une sous-classe de primate
(termFormat ChineseLanguage Primate "灵长类动物") chinese_format.kif 998-998 Singe est une sous-classe de primate
(termFormat EnglishLanguage Primate "primate") english_format.kif 1203-1203 Singe est une sous-classe de primate
(termFormat FrenchLanguage Primate "primate") french_format.kif 675-675 Singe est une sous-classe de primate
(termFormat Hindi Primate "vikasita pashuvarga") terms-hindi.txt 206-206 Singe est une sous-classe de primate
(termFormat ItalianLanguage Primate "Primato") terms-it.txt 209-209 Singe est une sous-classe de primate
(termFormat JapaneseLanguage Primate "霊長類") japanese_format.kif 2359-2359 Singe est une sous-classe de primate
(termFormat PortugueseLanguage Primate "Primata") portuguese_format.kif 627-627 Singe est une sous-classe de primate
(termFormat cz Primate "primate") terms-cz.txt 243-243 Singe est une sous-classe de primate
(termFormat de Primate "Primas") terms-de.txt 502-502 Singe est une sous-classe de primate
(termFormat ro Primate "primatã") relations-ro.kif 696-696 Singe est une sous-classe de primate
(termFormat tg Primate "Primado") terms-tg.txt 210-210 Singe est une sous-classe de primate

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 14040-14053
(=>
    (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 14013-14026
(=>
    (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 12529-12542

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


(=>
    (instance ?ARM Arm)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?ARM ?PRIMATE))))
Mid-level-ontology.kif 13793-13798
(=>
    (instance ?B Breast)
    (exists (?P)
        (and
            (instance ?P Primate)
            (part ?B ?P))))
Mid-level-ontology.kif 14172-14177
(=>
    (instance ?SHOULDER Shoulder)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?SHOULDER ?PRIMATE))))
Mid-level-ontology.kif 14116-14121


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