involvedInEvent |
appearance as argument number 1 |
![]() |
(documentation involvedInEvent ChineseLanguage "(involvedInEvent ?EVENT ?THING) 的意思是 在 ?EVENT这个 Process,?THING 这个 Entity 佔着一点 CaseRole。") | chinese_format.kif 1863-1864 | |
(documentation involvedInEvent EnglishLanguage "(involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.") | Merge.kif 2405-2406 | |
(documentation involvedInEvent JapaneseLanguage "(involvedInEvent ?EVENT ?THING) とは、 Process ?EVENTでは、、Entity ?THING は CaseRole の役をする、という意味である。") | japanese_format.kif 486-487 | |
(domain involvedInEvent 1 Process) | Merge.kif 2410-2410 | involvedInEvent の数値 1 引数は 工程 の instance では |
(domain involvedInEvent 2 Entity) | Merge.kif 2411-2411 | involvedInEvent の数値 2 引数は エンティティー の instance では |
(instance involvedInEvent AsymmetricRelation) | Merge.kif 2409-2409 | involvedInEvent は 非対称関係 の instance では |
(instance involvedInEvent BinaryPredicate) | Merge.kif 2408-2408 | involvedInEvent は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |