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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Primate
Primate(primate)
Adapid, Adapid_group, Anthropoidea, Arctocebus, Avahi, Cynocephalidae, Cynocephalus, Cynocephalus_variegatus, Daubentonia, Daubentoniidae, Dermoptera, Indriidae, Lemuroidea, Lorisidae, Nycticebus, Omomyid, Omomyid_group, Perodicticus, Primates, Prosimii, Ptilocercus, Scandentia, Strepsirhini, Tarsiidae, Tarsioidea, Tarsius, Tarsius_glis, Tarsius_syrichta, Tupaia, Tupaiidae, anthropoid, colugo, family_Cynocephalidae, family_Daubentoniidae, family_Indriidae, family_Lorisidae, family_Tarsiidae, family_Tupaiidae, flying_cat, flying_lemur, genus_Arctocebus, genus_Avahi, genus_Cynocephalus, genus_Daubentonia, genus_Galago, genus_Indri, genus_Loris, genus_Nycticebus, genus_Perodicticus, genus_Ptilocercus...

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


(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 13583-13583 Primate is disjointly decomposed into ape, monkey, and hominid
(documentation Primate ChineseLanguage "这是 PrimateMammal Class。") chinese_format.kif 3434-3434
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") Merge.kif 13584-13585
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px-Orang-utan_bukit_lawang_2006.jpg") pictureList-ImageNet.kif 238-238
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Ring_tailed_lemurs.jpg/ 250px-Ring_tailed_lemurs.jpg") pictureList-ImageNet.kif 237-237
(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 236-236
(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 235-235
(subclass Primate Mammal) Merge.kif 13582-13582 Primate is a subclass of mammal

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


(subclass Ape Primate) Merge.kif 13587-13587 Ape is a subclass of primate
(subclass Hominid Primate) Merge.kif 13595-13595 Hominid is a subclass of primate
(subclass Lemur Primate) Mid-level-ontology.kif 28640-28640 Lemur is a subclass of primate
(subclass Monkey Primate) Merge.kif 13591-13591 Monkey is a subclass of primate
(termFormat ChineseLanguage Primate "灵长类动物") chinese_format.kif 998-998
(termFormat EnglishLanguage Primate "primate") english_format.kif 1208-1208

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 10388-10401
(=>
    (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 10361-10374
(=>
    (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 9571-9584

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


(=>
    (instance ?ARM Arm)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?ARM ?PRIMATE))))
Mid-level-ontology.kif 10179-10184
(=>
    (instance ?B Breast)
    (exists (?P)
        (and
            (instance ?P Primate)
            (part ?B ?P))))
Mid-level-ontology.kif 10507-10512
(=>
    (instance ?SHOULDER Shoulder)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?SHOULDER ?PRIMATE))))
Mid-level-ontology.kif 10462-10467


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