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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - playsRoleInEvent
playsRoleInEvent

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 21179-21182
(domain playsRoleInEvent 1 Object) Mid-level-ontology.kif 21175-21175 The number 1 argument of plays role in event is an instance of object
(domain playsRoleInEvent 2 CaseRole) Mid-level-ontology.kif 21176-21176 The number 2 argument of plays role in event is an instance of case role
(domain playsRoleInEvent 3 Process) Mid-level-ontology.kif 21177-21177 The number 3 argument of plays role in event is an instance of process
(instance playsRoleInEvent TernaryPredicate) Mid-level-ontology.kif 21174-21174 plays role in event is an instance of ternary predicate

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 46192-46192
(termFormat ChineseTraditionalLanguage playsRoleInEvent "在事件中發揮作用") domainEnglishFormat.kif 46191-46191
(termFormat EnglishLanguage playsRoleInEvent "plays role in event") domainEnglishFormat.kif 46190-46190

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 21202-21209
(=>
    (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 21231-21238
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (subrelation ?ROLE ?ROLE2))
    (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 21188-21192
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (time ?EVENT ?TIME)
        (eventLocated ?EVENT ?PLACE))
    (locatedAtTime ?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 21254-21259

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


(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 21194-21200
(=>
    (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 28220-28249
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (subrelation ?ROLE ?ROLE2))
    (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 21188-21192
(=>
    (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 21222-21229


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