Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| relatedEvent |
| appearance as argument number 1 |
|
| (documentation relatedEvent EnglishLanguage "(relatedEvent ?EVENT1 ?EVENT2) means that the Process ?EVENT1 is related to the Process ?EVENT2. The relationship is between separate individual events, not events and their subprocesses. On the other hand, two subProcesses of the same overarching event may be relatedEvents. The argument order does not imply temporal ordering.") | Merge.kif 3865-3870 | |
| (instance relatedEvent BinaryPredicate) | Merge.kif 3872-3872 | related event is an instance of binary predicate |
| (instance relatedEvent SymmetricRelation) | Merge.kif 3873-3873 | related event is an instance of symmetric relation |
| (domain relatedEvent 1 Process) | Merge.kif 3874-3874 | The number 1 argument of related event is an instance of process |
| (domain relatedEvent 2 Process) | Merge.kif 3875-3875 | The number 2 argument of related event is an instance of process |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage relatedEvent "%2 is %n a related event of %1") | domainEnglishFormat.kif 2129-2129 | |
| (format ChineseTraditionalLanguage relatedEvent "%2 %n 是 %1 的 related 事件") | domainEnglishFormat.kif 2130-2130 | |
| (format ChineseLanguage relatedEvent "%2 %n 是 %1 的 related 事件") | domainEnglishFormat.kif 2131-2131 | |
| (termFormat EnglishLanguage relatedEvent "related event") | domainEnglishFormat.kif 49299-49299 | |
| (termFormat ChineseTraditionalLanguage relatedEvent "相關事件") | domainEnglishFormat.kif 49300-49300 | |
| (termFormat ChineseLanguage relatedEvent "相关事件") | domainEnglishFormat.kif 49301-49301 |
| consequent |
|
|
| (=> (and (subProcess ?S1 ?P) (subProcess ?S2 ?P)) (relatedEvent ?S1 ?S2)) |
Merge.kif 3876-3880 | If X is a subprocess of Y and Z is a subprocess of Y, then Z is a related event of X |
| (=> (causes ?P1 ?P2) (relatedEvent ?P1 ?P2)) |
Merge.kif 3893-3895 | If X causes Y, then Y is a related event of X |
|