.jpg/800px-Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg)
| Primate
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Primate Ape Monkey Hominid) | Merge.kif 13933-13933 | |
| (documentation Primate ChineseLanguage "这是 Primate 的 Mammal Class。") | chinese_format.kif 3434-3434 | |
| (documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") | Merge.kif 13934-13935 | |
| (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 13932-13932 |
| appearance as argument number 2 |
|
|
| (subclass Ape Primate) | Merge.kif 13937-13937 | |
| (subclass Hominid Primate) | Merge.kif 13945-13945 | |
| (subclass Lemur Primate) | Mid-level-ontology.kif 29169-29169 | |
| (subclass Monkey Primate) | Merge.kif 13941-13941 | |
| (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 11565-11578 | |
| (=> (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 11538-11551 | |
| (=> (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 10199-10212 |
| consequent |
|
|
| (=> (instance ?ARM Arm) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?ARM ?PRIMATE)))) |
Mid-level-ontology.kif 11340-11345 | |
| (=> (instance ?B Breast) (exists (?P) (and (instance ?P Primate) (part ?B ?P)))) |
Mid-level-ontology.kif 11697-11702 | |
| (=> (instance ?SHOULDER Shoulder) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?SHOULDER ?PRIMATE)))) |
Mid-level-ontology.kif 11641-11646 |
|
|
|