| 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 23328-23330 | |
| (domain playsRoleInEventOfType 1 Object) | Mid-level-ontology.kif 23322-23322 | 在类型的事件中发挥作用 的 1 数量 是 客体 的 instance |
| (domain playsRoleInEventOfType 2 CaseRole) | Mid-level-ontology.kif 23323-23323 | 在类型的事件中发挥作用 的 2 数量 是 格角色 的 instance |
| (domain playsRoleInEventOfType 4 TimePosition) | Mid-level-ontology.kif 23325-23325 | 在类型的事件中发挥作用 的 4 数量 是 时间位置 的 instance |
| (domain playsRoleInEventOfType 5 Object) | Mid-level-ontology.kif 23326-23326 | 在类型的事件中发挥作用 的 5 数量 是 客体 的 instance |
| (domainSubclass playsRoleInEventOfType 3 Process) | Mid-level-ontology.kif 23324-23324 | 在类型的事件中发挥作用 的 3 数量 是 过程 的 subclass |
| (instance playsRoleInEventOfType QuintaryPredicate) | Mid-level-ontology.kif 23321-23321 | 在类型的事件中发挥作用 是 五元谓语 的 instance |
| 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 46280-46280 | |
| (termFormat ChineseTraditionalLanguage playsRoleInEventOfType "在類型的事件中發揮作用") | domainEnglishFormat.kif 46279-46279 | |
| (termFormat EnglishLanguage playsRoleInEventOfType "plays role in event of type") | domainEnglishFormat.kif 46278-46278 |
| 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 23332-23339 |
| consequent |
|
|
| (<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | 1 在此刻拘留 对于 %3 在地方 %2 若且唯若 有感知的主事 对于 关押 和 时间位置 和 客体 在事件类别 被拘留者 plays 角色 |
| (=> (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 23312-23319 | |
| (=> (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 23341-23348 | |
| (=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE)) |
Justice.kif 75-77 | |
| (=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE)) |
Justice.kif 71-73 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners