playsRoleInEvent |
appearance as argument number 1 |
![]() |
(documentation playsRoleInEvent EnglishLanguage "(playsRoleInEvent ?OBJ ?ROLE ?EVENT) means that the Object ?OBJ is involved in the Process ?EVENT in a way specified by the CaseRole predicate ?ROLE.") | Mid-level-ontology.kif 24882-24885 | |
(domain playsRoleInEvent 1 Object) | Mid-level-ontology.kif 24878-24878 | playsRoleInEvent の数値 1 引数は オブジェクト の instance では |
(domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 24879-24879 | playsRoleInEvent の数値 2 引数は 格役割 の instance では |
(domain playsRoleInEvent 3 Process) | Mid-level-ontology.kif 24880-24880 | playsRoleInEvent の数値 3 引数は 工程 の instance では |
(instance playsRoleInEvent TernaryPredicate) | Mid-level-ontology.kif 24877-24877 | playsRoleInEvent は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage playsRoleInEvent "%1 %n{不} 对于 %3 在事件 %2 plays 角色") | domainEnglishFormat.kif 1971-1971 | |
(format ChineseTraditionalLanguage playsRoleInEvent "%1 %n{不} 對於 %3 在事件 %2 plays 角色") | domainEnglishFormat.kif 1970-1970 | |
(format EnglishLanguage playsRoleInEvent "%1 %n{doesn't} plays role in event %2 for %3") | domainEnglishFormat.kif 1969-1969 | |
(termFormat ChineseLanguage playsRoleInEvent "在事件中发挥作用") | domainEnglishFormat.kif 46274-46274 | |
(termFormat ChineseTraditionalLanguage playsRoleInEvent "在事件中發揮作用") | domainEnglishFormat.kif 46273-46273 | |
(termFormat EnglishLanguage playsRoleInEvent "plays role in event") | domainEnglishFormat.kif 46272-46272 |
antecedent |
![]() |
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (instance ?EVENT ?CLASS) (subclass ?CLASS Process) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (playsRoleInEventOfType ?OBJ ?ROLE ?CLASS ?TIME ?PLACE)) |
Mid-level-ontology.kif 24901-24908 | |
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (instance ?EVENT ?TYPE) (subclass ?TYPE Process) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE)) |
Mid-level-ontology.kif 24930-24937 | |
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT)) |
Mid-level-ontology.kif 24887-24891 |
|
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 24953-24958 |
|
consequent |
![]() |
![]() |
![]() |