| 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 19678-19681 | |
| (domain playsRoleInEvent 1 Object) | Mid-level-ontology.kif 19674-19674 | |
| (domain playsRoleInEvent 2 CaseRole) | Mid-level-ontology.kif 19675-19675 | |
| (domain playsRoleInEvent 3 Process) | Mid-level-ontology.kif 19676-19676 | |
| (instance playsRoleInEvent TernaryPredicate) | Mid-level-ontology.kif 19673-19673 |
| 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 46255-46255 | |
| (termFormat ChineseTraditionalLanguage playsRoleInEvent "在事件中發揮作用") | domainEnglishFormat.kif 46254-46254 | |
| (termFormat EnglishLanguage playsRoleInEvent "plays role in event") | domainEnglishFormat.kif 46253-46253 |
| 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 19697-19704 | |
| (=> (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 19726-19733 | |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT)) |
Mid-level-ontology.kif 19683-19687 | |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (time ?EVENT ?TIME) (eventLocated ?EVENT ?PLACE)) (locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 19749-19754 |
| consequent |
|
|
| (=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 19689-19695 | |
| (=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)) ?AGENT)) |
TransportDetail.kif 49-59 | |
| (=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (instance ?A1 ?AC) (subclass ?PC Process) (subclass ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (refers ?X ?Q) (refers ?Q ?PC) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 26254-26283 | |
| (=> (and (playsRoleInEvent ?OBJ ?ROLE ?EVENT) (subrelation ?ROLE ?ROLE2)) (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT)) |
Mid-level-ontology.kif 19683-19687 | |
| (=> (instance ?PARK ParkingRegion) (hasPurpose ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)))) |
TransportDetail.kif 36-42 | |
| (=> (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 19717-19724 |
|
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