Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Primate Mammal) | Merge.kif 14938-14938 | Primate is a subclass of mammal |
| (disjointDecomposition Primate Ape Monkey Hominid) | Merge.kif 14939-14939 | Primate is disjointly decomposed into ape, monkey, and hominid |
| (documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") | Merge.kif 14940-14941 | Primate is disjointly decomposed into ape, monkey, and hominid |
| (defaultMinimumHeight Primate (MeasureFn 1.5 FootLength)) |
DimensioningAmenities.kif 928-928 | The minimum expected height of primate is 1.5 foot length(s) |
| (defaultMaximumHeight Primate (MeasureFn 8 FootLength)) |
DimensioningAmenities.kif 929-929 | The maximum expected height of primate is 8 foot length(s) |
| (defaultMinimumMeasure Primate (MeasureFn 6 PoundMass)) |
DimensioningAmenities.kif 930-930 | The minimum expected value of primate is 6 pound mass(s) |
| (defaultMaximumMeasure Primate (MeasureFn 1000 PoundMass)) |
DimensioningAmenities.kif 931-931 | The maximum expected value of primate is 1000 pound mass(s) |
| (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 | The maximum expected value of primate is 1000 pound mass(s) |
| (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 | The maximum expected value of primate is 1000 pound mass(s) |
| (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 | The maximum expected value of primate is 1000 pound mass(s) |
| (externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px_Orang_utan_bukit_lawang_2006.jpg") | pictureList-ImageNet.kif 237-237 | The maximum expected value of primate is 1000 pound mass(s) |
| appearance as argument number 2 |
|
|
| (subclass Ape Primate) | Merge.kif 14943-14943 | Ape is a subclass of primate |
| (subclass Monkey Primate) | Merge.kif 14947-14947 | Monkey is a subclass of primate |
| (subclass Hominid Primate) | Merge.kif 14951-14951 | Hominid is a subclass of primate |
| (subclass Lemur Primate) | Mid-level-ontology.kif 33126-33126 | Lemur is a subclass of primate |
| (initialPart Bone Primate) | Anatomy.kif 18-18 | Every bone is initially part of a primate |
| (termFormat EnglishLanguage Primate "primate") | english_format.kif 1207-1207 | Every bone is initially part of a primate |
| antecedent |
|
|
| (=> (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 12688-12701 | If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of lung (3) W is an instance of lung (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X |
| (=> (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 14299-14312 | If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of leg (3) W is an instance of leg (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X |
| (=> (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 14326-14339 | If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of foot (3) W is an instance of foot (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X |
| consequent |
|
|
| (=> (instance ?ARM Arm) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?ARM ?PRIMATE)))) |
Mid-level-ontology.kif 14077-14082 | If X is an instance of arm, then there exists Y such that Y is an instance of primate and X is a part of Y |
| (=> (instance ?SHOULDER Shoulder) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?SHOULDER ?PRIMATE)))) |
Mid-level-ontology.kif 14402-14407 | If X is an instance of shoulder, then there exists Y such that Y is an instance of primate and X is a part of Y |
| (=> (instance ?B Breast) (exists (?P) (and (instance ?P Primate) (part ?B ?P)))) |
Mid-level-ontology.kif 14458-14463 | If X is an instance of breast, then there exists Y such that Y is an instance of primate and X is a part of Y |
|
.jpg/800px_Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg)
