Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - playsRoleInEventOfType
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 21149-21151
(domain playsRoleInEventOfType 1 Object) Mid-level-ontology.kif 21143-21143
(domain playsRoleInEventOfType 2 CaseRole) Mid-level-ontology.kif 21144-21144
(domain playsRoleInEventOfType 4 TimePosition) Mid-level-ontology.kif 21146-21146
(domain playsRoleInEventOfType 5 Object) Mid-level-ontology.kif 21147-21147
(domainSubclass playsRoleInEventOfType 3 Process) Mid-level-ontology.kif 21145-21145
(instance playsRoleInEventOfType QuintaryPredicate) Mid-level-ontology.kif 21142-21142

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 501-501
(termFormat EnglishLanguage playsRoleInEventOfType "plays role in event of type") domainEnglishFormat.kif 8135-8135

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 21153-21160

consequent
-------------------------


(<=>
    (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
Justice.kif 26-28
(=>
    (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 21133-21140
(=>
    (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 21162-21169
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT agent Seeing ?TIME ?PLACE))
Justice.kif 73-75
(=>
    (observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?OBJ patient Seeing ?TIME ?PLACE))
Justice.kif 69-71


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners