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 | playsRoleInEvent の数値 1 引数は オブジェクト の instance では %n |
(domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 23238-23238 | playsRoleInEvent の数値 2 引数は 格役割 の instance では %n |
(domain playsRoleInEvent 3 Process) | Mid-level-ontology.kif 23239-23239 | playsRoleInEvent の数値 3 引数は 工程 の instance では %n |
(instance playsRoleInEvent TernaryPredicate) | Mid-level-ontology.kif 23236-23236 | playsRoleInEvent は 3進述語 の instance では %n |
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 |