Primate(霊長類) |
appearance as argument number 1 |
(disjointDecomposition Primate Ape Monkey Hominid) | Merge.kif 14673-14673 | 霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed %n |
(documentation Primate ChineseLanguage "这是 Primate 的 Mammal Class。") | chinese_format.kif 3434-3434 | |
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") | Merge.kif 14674-14675 | |
(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 14672-14672 | 霊長類 は 哺乳動物 の subclass では %n |
appearance as argument number 2 |
(initialPart Bone Primate) | Anatomy.kif 21-21 | initialPart 骨 and 霊長類 |
(subclass Ape Primate) | Merge.kif 14677-14677 | 類人猿 は 霊長類 の subclass では %n |
(subclass Hominid Primate) | Merge.kif 14685-14685 | ヒト科の動物 は 霊長類 の subclass では %n |
(subclass Lemur Primate) | Mid-level-ontology.kif 30495-30495 | Lemur は 霊長類 の subclass では %n |
(subclass Monkey Primate) | Merge.kif 14681-14681 | 猿 は 霊長類 の subclass では %n |
(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 12736-12749 | |
(=> (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 12709-12722 | |
(=> (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 11225-11238 |
consequent |
(=> (instance ?ARM Arm) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?ARM ?PRIMATE)))) |
Mid-level-ontology.kif 12489-12494 | |
(=> (instance ?B Breast) (exists (?P) (and (instance ?P Primate) (part ?B ?P)))) |
Mid-level-ontology.kif 12868-12873 | |
(=> (instance ?SHOULDER Shoulder) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?SHOULDER ?PRIMATE)))) |
Mid-level-ontology.kif 12812-12817 |