| appearance as argument number 1 |
|
| (documentation relatedEvent ChineseLanguage "(relatedEvent ?EVENT1 ?EVENT2) 的意思是 Process ?EVENT1 和 过程 ?EVENT2 有关连，这是个别事件之间的关系, 而非事件和它自过程之间的关系。但是 一个总体时间的两个 subProcess 可以是 relatedEvent，参数的顺序并不代表时间的时许。") | chinese_format.kif 2062-2064 | |
| (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 3760-3765 | |
| (documentation relatedEvent JapaneseLanguage "(relatedEvent ?EVENT1 ?EVENT2) とは、Process ?EVENT1 がプロセス ?EVENT2 に関連していることを意味lする。関係は、イベントとそのサブプロセスでは なく、個別間のイベントである。一方、２つの同じ包括的なイベントの subProcesses は relatedEvent であってもよい。引数の順序は、一時的な順序という結果になるわけではない。") | japanese_format.kif 707-710 | |
| (domain relatedEvent 1 Process) | Merge.kif 3769-3769 | relatedEvent の数値 1 引数は 工程 の instance では %n |
| (domain relatedEvent 2 Process) | Merge.kif 3770-3770 | relatedEvent の数値 2 引数は 工程 の instance では %n |
| (instance relatedEvent BinaryPredicate) | Merge.kif 3767-3767 | relatedEvent は 2進述語 の instance では %n |
| (instance relatedEvent SymmetricRelation) | Merge.kif 3768-3768 | relatedEvent は 対称関係 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage relatedEvent "%2 %n 是 %1 的 related 事件") | domainEnglishFormat.kif 2127-2127 | |
| (format ChineseTraditionalLanguage relatedEvent "%2 %n 是 %1 的 related 事件") | domainEnglishFormat.kif 2126-2126 | |
| (format EnglishLanguage relatedEvent "%2 is %n a related event of %1") | domainEnglishFormat.kif 2125-2125 | |
| (termFormat ChineseLanguage relatedEvent "相关事件") | domainEnglishFormat.kif 49306-49306 | |
| (termFormat ChineseTraditionalLanguage relatedEvent "相關事件") | domainEnglishFormat.kif 49305-49305 | |
| (termFormat EnglishLanguage relatedEvent "related event") | domainEnglishFormat.kif 49304-49304 |
| consequent |
|
|
| (=> (and (subProcess ?S1 ?P) (subProcess ?S2 ?P)) (relatedEvent ?S1 ?S2)) |
Merge.kif 3771-3775 |
|
| (=> (causes ?P1 ?P2) (relatedEvent ?P1 ?P2)) |
Merge.kif 3788-3790 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners