Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| objectDetached |
| appearance as argument number 1 |
|
| (instance objectDetached CaseRole) | Merge.kif 12712-12712 | detached is an instance of case role |
| (subrelation objectDetached patient) | Merge.kif 12713-12713 | detached is a subrelation of patient |
| (domain objectDetached 1 Detaching) | Merge.kif 12714-12714 | The number 1 argument of detached is an instance of detaching |
| (domain objectDetached 2 Object) | Merge.kif 12715-12715 | The number 2 argument of detached is an instance of object |
| (documentation objectDetached EnglishLanguage "Relates an object that is detached to the Process of Detaching.") | Merge.kif 12716-12717 | The number 2 argument of detached is an instance of object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage objectDetached "detached") | Merge.kif 12718-12718 | |
| (format EnglishLanguage objectDetached "%1 detaches %2 from another object") | Merge.kif 12719-12719 |
| consequent |
|
|
| (=> (and (instance ?D Detaching) (patient ?D ?O1) (patient ?D ?O2) (holdsDuring (BeginFn (WhenFn ?D)) (connected ?O1 ?O2)) (holdsDuring (EndFn (WhenFn ?A)) (not (connected ?O1 ?O2)))) (and (objectDetached ?A ?O1) (objectDetached ?A ?O2))) |
Merge.kif 12721-12730 | If X is an instance of detaching, Y is a patient of X, Z is a patient of X, Y is connected to Z holds during the beginning of the time of existence of X, and Y is not connected to Z holds during the end of the time of existence of W, then W detaches Y from another object and W detaches Z from another object |
|