Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| playsRoleInEventOfType |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage playsRoleInEventOfType "%1 %n{doesn't} plays role in event of type %2 for %3 with %4 and %5") | domainEnglishFormat.kif 1973-1973 | |
| (format ChineseTraditionalLanguage playsRoleInEventOfType "%1 %n{不} 對於 %3 和 %4 和 %5 在事件類別 %2 plays 角色") | domainEnglishFormat.kif 1974-1974 | |
| (format ChineseLanguage playsRoleInEventOfType "%1 %n{不} 对于 %3 和 %4 和 %5 在事件类别 %2 plays 角色") | domainEnglishFormat.kif 1975-1975 | |
| (termFormat EnglishLanguage playsRoleInEventOfType "plays role in event of type") | domainEnglishFormat.kif 46271-46271 | |
| (termFormat ChineseTraditionalLanguage playsRoleInEventOfType "在類型的事件中發揮作用") | domainEnglishFormat.kif 46272-46272 | |
| (termFormat ChineseLanguage playsRoleInEventOfType "在类型的事件中发挥作用") | domainEnglishFormat.kif 46273-46273 |
| 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 25598-25605 | If X plays role in event of type Y for Z with W and V, then there exists U such that U is an instance of Z, U exists during W, U is located at V, and X plays role in event Y for U |
| consequent |
|
|
| (=> (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 25578-25585 | If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U |
| (=> (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 25607-25614 | If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U |
| (<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | X detained at time in place Y for Z if, only if X plays role in event of type detainee for confining with Y, and Z |
| (=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE)) |
Justice.kif 71-73 | If X is observed at time in place Y for Z with W, then X plays role in event of type patient for seeing with Z and W |
| (=> (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE)) |
Justice.kif 75-77 | If X is observed at time in place Y for Z with W, then Y plays role in event of type agent for seeing with Z and W |
|