![]() |
appearance as argument number 1 |
![]() |
(disjointDecomposition Primate Ape Monkey Hominid) | Merge.kif 14780-14780 | Primate is disjointly decomposed into ape, monkey, and hominid |
(documentation Primate ChineseLanguage "这是 Primate 的 Mammal Class。") | chinese_format.kif 3434-3434 | Primate is disjointly decomposed into ape, monkey, and hominid |
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") | Merge.kif 14781-14782 | Primate is disjointly decomposed into ape, monkey, and hominid |
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px_Orang_utan_bukit_lawang_2006.jpg") | pictureList-ImageNet.kif 237-237 | Primate is disjointly decomposed into ape, monkey, and hominid |
(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 | Primate is disjointly decomposed into ape, monkey, and hominid |
(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 | Primate is disjointly decomposed into ape, monkey, and hominid |
(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 | Primate is disjointly decomposed into ape, monkey, and hominid |
(subclass Primate Mammal) | Merge.kif 14779-14779 | Primate is a subclass of mammal |
appearance as argument number 2 |
![]() |
(initialPart Bone Primate) | Anatomy.kif 20-20 | Every bone is initially part of a primate |
(subclass Ape Primate) | Merge.kif 14784-14784 | Ape is a subclass of primate |
(subclass Hominid Primate) | Merge.kif 14792-14792 | Hominid is a subclass of primate |
(subclass Lemur Primate) | Mid-level-ontology.kif 32405-32405 | Lemur is a subclass of primate |
(subclass Monkey Primate) | Merge.kif 14788-14788 | Monkey is a subclass of primate |
(termFormat ChineseLanguage Primate "灵长类动物") | chinese_format.kif 998-998 | Monkey is a subclass of primate |
(termFormat EnglishLanguage Primate "primate") | english_format.kif 1203-1203 | Monkey is a subclass of primate |
(termFormat FrenchLanguage Primate "primate") | french_format.kif 675-675 | Monkey is a subclass of primate |
(termFormat Hindi Primate "vikasita pashuvarga") | terms-hindi.txt 206-206 | Monkey is a subclass of primate |
(termFormat ItalianLanguage Primate "Primato") | terms-it.txt 209-209 | Monkey is a subclass of primate |
(termFormat JapaneseLanguage Primate "霊長類") | japanese_format.kif 2359-2359 | Monkey is a subclass of primate |
(termFormat PortugueseLanguage Primate "Primata") | portuguese_format.kif 627-627 | Monkey is a subclass of primate |
(termFormat cz Primate "primate") | terms-cz.txt 243-243 | Monkey is a subclass of primate |
(termFormat de Primate "Primas") | terms-de.txt 502-502 | Monkey is a subclass of primate |
(termFormat ro Primate "primatã") | relations-ro.kif 696-696 | Monkey is a subclass of primate |
(termFormat tg Primate "Primado") | terms-tg.txt 210-210 | Monkey is a subclass of primate |
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 |
|
![]() |
![]() |