Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ClosingBothEyes |
| appearance as argument number 1 |
|
| (subclass ClosingBothEyes FacialExpression) | Mid-level-ontology.kif 21966-21966 | ClosingBothEyes is a subclass of facial expression |
| (subclass ClosingBothEyes BodyMotion) | Mid-level-ontology.kif 21998-21998 | ClosingBothEyes is a subclass of body motion |
| (subclass ClosingBothEyes Closing) | Mid-level-ontology.kif 21999-21999 | ClosingBothEyes is a subclass of closing |
| (documentation ClosingBothEyes EnglishLanguage "This Process specifies that both left and right eye close together.") | Mid-level-ontology.kif 22000-22001 | ClosingBothEyes is a subclass of closing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|