playsRoleInEventOfType |
appearance as argument number 1 |
(documentation playsRoleInEventOfType EnglishLanguage "(playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE) means that ?OBJ plays the role specified by ?ROLE in an instance of ?TYPE, which occurs at ?TIME and ?PLACE.") | Mid-level-ontology.kif 23275-23277 | |
(domain playsRoleInEventOfType 1 Object) | Mid-level-ontology.kif 23269-23269 | Il numero 1 argomenti di playsRoleInEventOfType è un istanza di Oggetto |
(domain playsRoleInEventOfType 2 CaseRole) | Mid-level-ontology.kif 23270-23270 | Il numero 2 argomenti di playsRoleInEventOfType è un istanza di RuoloSemantico |
(domain playsRoleInEventOfType 4 TimePosition) | Mid-level-ontology.kif 23272-23272 | Il numero 4 argomenti di playsRoleInEventOfType è un istanza di PosizioneTemporale |
(domain playsRoleInEventOfType 5 Object) | Mid-level-ontology.kif 23273-23273 | Il numero 5 argomenti di playsRoleInEventOfType è un istanza di Oggetto |
(domainSubclass playsRoleInEventOfType 3 Process) | Mid-level-ontology.kif 23271-23271 | Il numero 3 argomento playsRoleInEventOfType è una sottoclasse diProcesso |
(instance playsRoleInEventOfType QuintaryPredicate) | Mid-level-ontology.kif 23268-23268 | playsRoleInEventOfType è un' istanza di PredicatoQuinquenario |
appearance as argument number 2 |
(format ChineseLanguage playsRoleInEventOfType "%1 %n{不} 对于 %3 和 %4 和 %5 在事件类别 %2 plays 角色") | domainEnglishFormat.kif 1971-1971 | |
(format ChineseTraditionalLanguage playsRoleInEventOfType "%1 %n{不} 對於 %3 和 %4 和 %5 在事件類別 %2 plays 角色") | domainEnglishFormat.kif 1970-1970 | |
(format EnglishLanguage playsRoleInEventOfType "%1 %n{doesn't} plays role in event of type %2 for %3 with %4 and %5") | domainEnglishFormat.kif 1969-1969 | |
(termFormat ChineseLanguage playsRoleInEventOfType "在类型的事件中发挥作用") | domainEnglishFormat.kif 46278-46278 | |
(termFormat ChineseTraditionalLanguage playsRoleInEventOfType "在類型的事件中發揮作用") | domainEnglishFormat.kif 46277-46277 | |
(termFormat EnglishLanguage playsRoleInEventOfType "plays role in event of type") | domainEnglishFormat.kif 46276-46276 |
antecedent |
(=> (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE) (exists (?EVENT) (and (instance ?EVENT ?TYPE) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)))) |
Mid-level-ontology.kif 23279-23286 |
consequent |