TreeView Knowledge Base Browser - playsRoleInEventOfType

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: