Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OpeningBothEyes |
| appearance as argument number 1 |
|
| (subclass OpeningBothEyes FacialExpression) | Mid-level-ontology.kif 21965-21965 | OpeningBothEyes is a subclass of facial expression |
| (subclass OpeningBothEyes BodyMotion) | Mid-level-ontology.kif 21973-21973 | OpeningBothEyes is a subclass of body motion |
| (subclass OpeningBothEyes Opening) | Mid-level-ontology.kif 21974-21974 | OpeningBothEyes is a subclass of opening |
| (disjoint OpeningBothEyes ClosingBothEyes) | Mid-level-ontology.kif 21975-21975 | OpeningBothEyes is disjoint from ClosingBothEyes |
| (documentation OpeningBothEyes EnglishLanguage "This Process specifies that both the left and right eye open together.") | Mid-level-ontology.kif 21976-21977 | OpeningBothEyes is disjoint from ClosingBothEyes |
| antecedent |
|
|
| (=> (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 |
|