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

Formal Language: 


KB Term:  Term intersection
English Word: 

  playsRoleInEvent

 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 24882-24885
(domain playsRoleInEvent 1 Object) Mid-level-ontology.kif 24878-24878 在事件中发挥作用 的 1 数量 是 客体 的 instance
(domain playsRoleInEvent 2 CaseRole) Mid-level-ontology.kif 24879-24879 在事件中发挥作用 的 2 数量 是 格角色 的 instance
(domain playsRoleInEvent 3 Process) Mid-level-ontology.kif 24880-24880 在事件中发挥作用 的 3 数量 是 过程 的 instance
(instance playsRoleInEvent TernaryPredicate) Mid-level-ontology.kif 24877-24877 在事件中发挥作用 是 三元谓语 的 instance

appearance as argument number 2
-------------------------


(format ChineseLanguage playsRoleInEvent "%1 %n{不} 对于 %3 在事件 %2 plays 角色") domainEnglishFormat.kif 1971-1971
(format ChineseTraditionalLanguage playsRoleInEvent "%1 %n{不} 對於 %3 在事件 %2 plays 角色") domainEnglishFormat.kif 1970-1970
(format EnglishLanguage playsRoleInEvent "%1 %n{doesn't} plays role in event %2 for %3") domainEnglishFormat.kif 1969-1969
(termFormat ChineseLanguage playsRoleInEvent "在事件中发挥作用") domainEnglishFormat.kif 46274-46274
(termFormat ChineseTraditionalLanguage playsRoleInEvent "在事件中發揮作用") domainEnglishFormat.kif 46273-46273
(termFormat EnglishLanguage playsRoleInEvent "plays role in event") domainEnglishFormat.kif 46272-46272

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 24901-24908
(=>
    (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 24930-24937
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (subrelation ?ROLE ?ROLE2))
    (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))		 Mid-level-ontology.kif 24887-24891
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (time ?EVENT ?TIME)
        (eventLocated ?EVENT ?PLACE))
    (locatedAtTime ?OBJ ?TIME ?PLACE))		 Mid-level-ontology.kif 24953-24958

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


(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 24893-24899
(=>
    (and
        (instance ?PARK DisabledParking)
        (instance ?AGENT Human)
        (attribute ?AGENT ?ATTR)
        (instance ?ATTR Disability))
    (hasPurposeForAgent ?PARK
        (exists (?EVENT ?TD)
            (and
                (instance ?EVENT Putting)
                (playsRoleInEvent ?PARK destination ?EVENT)
                (playsRoleInEvent ?TD patient ?EVENT)
                (instance ?TD TransportationDevice))) ?AGENT))		 TransportDetail.kif 51-63
(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (element ?A1 ?AC)
            (subclass ?PC Process)
            (instance ?L Region)
            (instance ?TP TimePoint)
            (instance ?Q Quantity)
            (instance ?P1 ?PC)
            (refers ?X ?Q)
            (refers ?Q ?P1)
            (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 31922-31952
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (subrelation ?ROLE ?ROLE2))
    (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))		 Mid-level-ontology.kif 24887-24891
(=>
    (instance ?PARK ParkingRegion)
    (hasPurpose ?PARK
        (exists (?EVENT ?TD)
            (and
                (instance ?EVENT Putting)
                (playsRoleInEvent ?PARK destination ?EVENT)
                (playsRoleInEvent ?TD patient ?EVENT)
                (instance ?TD TransportationDevice)))))		 TransportDetail.kif 36-44
(=>
    (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 24921-24928


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

Show without tree


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