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 23241-23244 | |
(domain playsRoleInEvent 1 Object) | Mid-level-ontology.kif 23237-23237 | 域 在事件中發揮作用, 1 and Object |
(domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 23238-23238 | 域 在事件中發揮作用, 2 and CaseRole |
(domain playsRoleInEvent 3 Process) | Mid-level-ontology.kif 23239-23239 | 域 在事件中發揮作用, 3 and Process |
(instance playsRoleInEvent TernaryPredicate) | Mid-level-ontology.kif 23236-23236 | 例 在事件中發揮作用 and TernaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage playsRoleInEvent "%1 %n{不} 对于 %3 在事件 %2 plays 角色") | domainEnglishFormat.kif 1967-1967 | |
(format ChineseTraditionalLanguage playsRoleInEvent "%1 %n{不} 對於 %3 在事件 %2 plays 角色") | domainEnglishFormat.kif 1966-1966 | |
(format EnglishLanguage playsRoleInEvent "%1 %n{doesn't} plays role in event %2 for %3") | domainEnglishFormat.kif 1965-1965 | |
(termFormat ChineseLanguage playsRoleInEvent "在事件中发挥作用") | domainEnglishFormat.kif 46272-46272 | |
(termFormat ChineseTraditionalLanguage playsRoleInEvent "在事件中發揮作用") | domainEnglishFormat.kif 46271-46271 | |
(termFormat EnglishLanguage playsRoleInEvent "plays role in event") | domainEnglishFormat.kif 46270-46270 |
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 23260-23267 | |
(=> (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 23289-23296 | |
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT)) |
Mid-level-ontology.kif 23246-23250 | |
(=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 23312-23317 |
consequent |