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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Primate
Primate(灵长类动物)

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


(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14627-14627 灵长类动物 分拆成不相交的 , 猴子, 和 原始人类
(documentation Primate ChineseLanguage "这是 PrimateMammal Class。") chinese_format.kif 3434-3434
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") Merge.kif 14628-14629
(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 14626-14626 灵长类动物哺乳动物subclass

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


(initialPart Bone Primate) Anatomy.kif 21-21 %每个 骨骼灵长类动物initially part
(subclass Ape Primate) Merge.kif 14631-14631 灵长类动物subclass
(subclass Hominid Primate) Merge.kif 14639-14639 原始人类灵长类动物subclass
(subclass Lemur Primate) Mid-level-ontology.kif 30471-30471 Lemur灵长类动物subclass
(subclass Monkey Primate) Merge.kif 14635-14635 猴子灵长类动物subclass
(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 12709-12722
(=>
    (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 12682-12695
(=>
    (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 11198-11211

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


(=>
    (instance ?ARM Arm)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?ARM ?PRIMATE))))
Mid-level-ontology.kif 12462-12467
(=>
    (instance ?B Breast)
    (exists (?P)
        (and
            (instance ?P Primate)
            (part ?B ?P))))
Mid-level-ontology.kif 12841-12846
(=>
    (instance ?SHOULDER Shoulder)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?SHOULDER ?PRIMATE))))
Mid-level-ontology.kif 12785-12790


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