Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BothEyes
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BothEyes Pair) | Mid-level-ontology.kif 21914-21914 | Both eyes is a subclass of pair |
| (documentation BothEyes EnglishLanguage "A Pair of Eyes, one on the Right side, the other on the Left side.") | Mid-level-ontology.kif 21915-21916 | Both eyes is a subclass of pair |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BothEyes "both eyes") | Mid-level-ontology.kif 21917-21917 |
| antecedent |
|
|
| (=> (and (instance ?E BothEyes) (member ?R ?E) (member ?L ?E)) (and (instance ?R (BodySideFn Right Eye)) (instance ?L (BodySideFn Left Eye)))) |
Mid-level-ontology.kif 21919-21928 | If X is an instance of both eyes, Y is a member of X, and Z is a member of X, then Y is an instance of the right of eye and Z is an instance of the left of eye |
| (=> (and (instance ?O OpeningBothEyes) (patient ?O ?E) (instance ?E BothEyes)) (exists (?L ?R ?A ?B) (and (member ?L ?E) (member ?R ?E) (instance ?A OpeningEye) (instance ?B OpeningEye) (subProcess ?A ?O) (subProcess ?B ?O) (patient ?A ?L) (patient ?B ?R) (not (equal ?A ?B)) (cooccur ?A ?B)))) |
Mid-level-ontology.kif 21979-21996 | If X is an instance of OpeningBothEyes, Y is a patient of X, and Y is an instance of both eyes, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a member of Y (3) W is a member of Y (4) V is an instance of opening eye (5) U is an instance of opening eye (6) V is a subprocess of X (7) U is a subprocess of X (8) Z is a patient of V (9) W is a patient of U (10) equal V (11) U (12) V occurs at the same time as U |
| (=> (and (instance ?C ClosingBothEyes) (patient ?C ?E) (instance ?E BothEyes)) (exists (?L ?R ?A ?B) (and (member ?L ?E) (member ?R ?E) (instance ?A ClosingEye) (instance ?B ClosingEye) (subProcess ?A ?C) (subProcess ?B ?C) (patient ?A ?L) (patient ?B ?R) (not (equal ?A ?B)) (cooccur ?A ?B)))) |
Mid-level-ontology.kif 22003-22020 | If X is an instance of ClosingBothEyes, Y is a patient of X, and Y is an instance of both eyes, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a member of Y (3) W is a member of Y (4) V is an instance of closing eye (5) U is an instance of closing eye (6) V is a subprocess of X (7) U is a subprocess of X (8) Z is a patient of V (9) W is a patient of U (10) equal V (11) U (12) V occurs at the same time as U |
| (=> (and (instance ?B Blinking) (patient ?B ?E) (instance ?E BothEyes)) (exists (?T) (and (holdsDuring ?T (attribute ?E Closed)) (during (WhenFn ?B) ?T) (holdsDuring (ImmediatePastFn (WhenFn ?B)) (attribute ?E Open)) (holdsDuring (ImmediateFutureFn (WhenFn ?B)) (attribute ?E Open))))) |
Mid-level-ontology.kif 22029-22047 | If X is an instance of blinking, Y is a patient of X, and Y is an instance of both eyes, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X |
|