.jpg/800px_Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg)
| Primate(霊長類)
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Primate Ape Monkey Hominid) | Merge.kif 14765-14765 | 霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed |
| (documentation Primate ChineseLanguage "这是 Primate 的 Mammal Class。") | chinese_format.kif 3434-3434 | 霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed |
| (documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") | Merge.kif 14766-14767 | 霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed |
| (externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px_Orang_utan_bukit_lawang_2006.jpg") | pictureList-ImageNet.kif 237-237 | 霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed |
| (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 | 霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed |
| (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 | 霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed |
| (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 | 霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed |
| (subclass Primate Mammal) | Merge.kif 14764-14764 | 霊長類 は 哺乳動物 の subclass では |
| appearance as argument number 2 |
|
|
| (initialPart Bone Primate) | Anatomy.kif 20-20 | initialPart 骨 and 霊長類 |
| (subclass Ape Primate) | Merge.kif 14769-14769 | 類人猿 は 霊長類 の subclass では |
| (subclass Hominid Primate) | Merge.kif 14777-14777 | ヒト科の動物 は 霊長類 の subclass では |
| (subclass Lemur Primate) | Mid-level-ontology.kif 32407-32407 | Lemur は 霊長類 の subclass では |
| (subclass Monkey Primate) | Merge.kif 14773-14773 | 猿 は 霊長類 の subclass では |
| (termFormat ChineseLanguage Primate "灵长类动物") | chinese_format.kif 998-998 | 猿 は 霊長類 の subclass では |
| (termFormat EnglishLanguage Primate "primate") | english_format.kif 1203-1203 | 猿 は 霊長類 の subclass では |
| (termFormat FrenchLanguage Primate "primate") | french_format.kif 675-675 | 猿 は 霊長類 の subclass では |
| (termFormat Hindi Primate "vikasita pashuvarga") | terms-hindi.txt 206-206 | 猿 は 霊長類 の subclass では |
| (termFormat ItalianLanguage Primate "Primato") | terms-it.txt 209-209 | 猿 は 霊長類 の subclass では |
| (termFormat JapaneseLanguage Primate "霊長類") | japanese_format.kif 2359-2359 | 猿 は 霊長類 の subclass では |
| (termFormat PortugueseLanguage Primate "Primata") | portuguese_format.kif 627-627 | 猿 は 霊長類 の subclass では |
| (termFormat cz Primate "primate") | terms-cz.txt 243-243 | 猿 は 霊長類 の subclass では |
| (termFormat de Primate "Primas") | terms-de.txt 502-502 | 猿 は 霊長類 の subclass では |
| (termFormat ro Primate "primatã") | relations-ro.kif 696-696 | 猿 は 霊長類 の subclass では |
| (termFormat tg Primate "Primado") | terms-tg.txt 210-210 | 猿 は 霊長類 の subclass では |
| 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 |
|
|
|