Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| losesControl |
| appearance as argument number 1 |
|
| (instance losesControl CaseRole) | Mid-level-ontology.kif 25763-25763 | loses control is an instance of case role |
| (subrelation losesControl experiencer) | Mid-level-ontology.kif 25764-25764 | loses control is a subrelation of experiencer |
| (documentation losesControl EnglishLanguage "(losesControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT loses physical control of the controlled object.") | Mid-level-ontology.kif 25765-25767 | loses control is a subrelation of experiencer |
| (domain losesControl 1 ChangeOfControl) | Mid-level-ontology.kif 25768-25768 | The number 1 argument of loses control is an instance of change of control |
| (domain losesControl 2 AutonomousAgent) | Mid-level-ontology.kif 25769-25769 | The number 2 argument of loses control is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage losesControl "loses control") | domainEnglishFormat.kif 35053-35053 | |
| (termFormat ChineseTraditionalLanguage losesControl "失去控制") | domainEnglishFormat.kif 35054-35054 | |
| (termFormat ChineseLanguage losesControl "失去控制") | domainEnglishFormat.kif 35055-35055 | |
| (format EnglishLanguage losesControl "%2 %n{does not} lose%p{s} physical control of some object during %1") | english_format.kif 148-148 |
| consequent |
|
|
| (=> (and (instance ?RO RecoveryOperation) (patient ?RO ?O) (agent ?RO ?A)) (exists (?CC) (and (instance ?CC ChangeOfControl) (earlier ?CC ?RO) (patient ?CC ?O) (agent ?CC ?E) (enemy ?A ?E) (holdsDuring (PastFn (WhenFn ?CC)) (possesses ?A ?O)) (losesControl ?CC ?A)))) |
MilitaryProcesses.kif 559-575 | If X is an instance of recovery operation, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exists W such that W is an instance of change of control (2) W happens earlier than X (3) Y is a patient of W (4) V is an agent of W (5) Z (6) V are enemies of each other (7) Z possesses Y holds during before the time of existence of W (8) Z loses physical control of some object during W |
|