eventLocated |
appearance as argument number 1 |
![]() |
(documentation eventLocated ChineseLanguage "(eventLocated ?PROC ?OBJ) 的意思是整个 Process ?PROC 是位于 Object ?OBJ,也就是说所有 ?PROC 的 subProcess 是位于 ?OBJ。") | chinese_format.kif 2115-2116 | |
(documentation eventLocated EnglishLanguage "(eventLocated ?PROC ?OBJ) means that the entire Process ?PROC is located on Object ?OBJ, meaning that all subProcess of ?PROC is located on ?OBJ.") | Merge.kif 4033-4035 | |
(instance eventLocated CaseRole) | Merge.kif 4030-4030 | eventLocated 是 格角色 的 instance |
(instance eventLocated TotalValuedRelation) | Merge.kif 4031-4031 | eventLocated 是 总值关系 的 instance |
(subrelation eventLocated eventPartlyLocated) | Merge.kif 4029-4029 | eventLocated 是 eventPartlyLocated 的 subrelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage eventLocated "%1 是 located 在 2 ") | domainEnglishFormat.kif 3331-3331 | |
(format ChineseTraditionalLanguage eventLocated "%1 是 located 在 2 ") | domainEnglishFormat.kif 3330-3330 | |
(format EnglishLanguage eventLocated "%1 is located at 2") | domainEnglishFormat.kif 3329-3329 | |
(termFormat EnglishLanguage eventLocated "event located") | english_format.kif 1845-1845 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |