.jpg/800px-Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg)
| Primate
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Primate Ape Monkey Hominid) | Merge.kif 13618-13618 | disjointDecomposition Primate, Ape, Monkey and Hominid |
| (documentation Primate ChineseLanguage "这是 Primate 的 Mammal Class。") | chinese_format.kif 3434-3434 | |
| (documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") | Merge.kif 13619-13620 | |
| (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 13617-13617 | subclass Primate and Mammal |
| appearance as argument number 2 |
|
|
| (subclass Ape Primate) | Merge.kif 13622-13622 | subclass Ape and Primate |
| (subclass Hominid Primate) | Merge.kif 13630-13630 | subclass Hominid and Primate |
| (subclass Lemur Primate) | Mid-level-ontology.kif 28648-28648 | subclass Lemur and Primate |
| (subclass Monkey Primate) | Merge.kif 13626-13626 | subclass Monkey and 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 10390-10403 | |
| (=> (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 10363-10376 | |
| (=> (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 9573-9586 |
| consequent |
|
|
| (=> (instance ?ARM Arm) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?ARM ?PRIMATE)))) |
Mid-level-ontology.kif 10181-10186 | |
| (=> (instance ?B Breast) (exists (?P) (and (instance ?P Primate) (part ?B ?P)))) |
Mid-level-ontology.kif 10509-10514 | |
| (=> (instance ?SHOULDER Shoulder) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?SHOULDER ?PRIMATE)))) |
Mid-level-ontology.kif 10464-10469 |
|
|
|