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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - experiencer
experiencer

appearance as argument number 1
-------------------------


s__documentation(s__experiencer__m,s__ChineseLanguage,'"(experiencer ?PROCESS ?AGENT) 的意思是 ?AGENT 在经历 ?PROCESS 这个 Process。 例如:在以下佑舟看见哪尾鱼这命题,佑舟是看见这过程的 experiencer。注: experiencer 不像 agent,参数之间并不需要含有因果关系。"')

chinese_format.kif 1872-1874
s__documentation(s__experiencer__m,s__EnglishLanguage,'"(experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the Process ?PROCESS. For example, Yojo is the experiencer of seeing in the following proposition: Yojo sees the fish. Note that experiencer, unlike agent, does not entail a causal relation between its arguments."')

Merge.kif 2370-2374
s__domain(s__experiencer__m,n__1,s__Process)

Merge.kif 2366-2366 The number 1 argument of experiencer is an instance of process
s__domain(s__experiencer__m,n__2,s__Agent)

Merge.kif 2367-2367 The number 2 argument of experiencer is an instance of agent
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__experiencer__m,s__CaseRole)

Merge.kif 2364-2364 experiencer is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__experiencer__m,s__PartialValuedRelation)

Merge.kif 2365-2365 experiencer is an instance of partial valued relation
s__subrelation(s__experiencer__m,s__involvedInEvent__m)

Merge.kif 2368-2368 experiencer is a subrelation of involved in event

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


s__format(s__ChineseLanguage,s__experiencer__m,'"%2 %n{doesnt} 经历了 %1"')

chinese_format.kif 103-103
s__format(s__EnglishLanguage,s__experiencer__m,'"%2 %n{doesnt} experience%p{s} %1"')

english_format.kif 103-103
s__subrelation(s__attends__m,s__experiencer__m)

Merge.kif 12427-12427 attends is a subrelation of experiencer
s__subrelation(s__losesControl__m,s__experiencer__m)

Mid-level-ontology.kif 22187-22187 loses control is a subrelation of experiencer
s__subrelation(s__serviceRecipient__m,s__experiencer__m)

Mid-level-ontology.kif 21631-21631 service recipient is a subrelation of experiencer
s__termFormat(s__ChineseLanguage,s__experiencer__m,'"体验者"')

domainEnglishFormat.kif 22797-22797
s__termFormat(s__ChineseLanguage,s__experiencer__m,'"经历者"')

chinese_format.kif 104-104
s__termFormat(s__ChineseTraditionalLanguage,s__experiencer__m,'"體驗者"')

domainEnglishFormat.kif 22796-22796
s__termFormat(s__EnglishLanguage,s__experiencer__m,'"experiencer"')

domainEnglishFormat.kif 22795-22795

antecedent
-------------------------


( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
( ! [V__AGENT,V__CUST,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freePropertyAmenity(V__AGENT,V__PHYS)
           &
           s__instance(V__X,V__PHYS)
         &
         s__customer(V__CUST,V__AGENT)
       &
       ((s__instance(V__X,s__Process) &
           (s__agent(V__X,V__CUST)
           |
           s__experiencer(V__X,V__CUST)))
     |
     (s__possesses(V__AGENT,V__X)
     &
     s__instance(V__X,s__Object) &
     s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. Merge.kif 17385-17391
No TPTP formula. May not be expressible in strict first order. Merge.kif 17356-17362
( ! [V__A,V__T,V__E] :
   (((s__instance(V__T,s__TimeInterval) &
         s__instance(V__E,s__Agent))
       =>
       (((s__instance(V__A,s__Accelerating) &
             (V__T = s__WhenFn(V__A))
           &
           s__experiencer(V__A,V__E))
       =>
       (~(( ? [V__D] :
             ((s__instance(V__D,s__Decelerating) &
                 s__experiencer(V__D,V__E)
               &
               (V__T = s__WhenFn(V__D))))))))))
)
)

Mid-level-ontology.kif 15945-15955
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15136-15146
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20086-20101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15156-15166
( ! [V__AGENT,V__BIRTH] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__BIRTH,s__Birth) &
             s__experiencer(V__BIRTH,V__AGENT))
         =>
         (( ? [V__DEATH] :
             ((s__instance(V__DEATH,s__Death) &
                 s__experiencer(V__DEATH,V__AGENT))))))))
)
)

Merge.kif 9766-9773
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20011-20019
( ! [V__ANIMAL,V__BLEED] :
   ((s__instance(V__ANIMAL,s__Agent) =>
       (((s__instance(V__BLEED,s__Bleeding) &
             s__experiencer(V__BLEED,V__ANIMAL))
         =>
         (s__instance(V__ANIMAL,s__Animal)))))
   )
)

Mid-level-ontology.kif 20005-20009
( ! [V__C,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__C,s__Choking) &
             s__experiencer(V__C,V__H))
         =>
         (( ? [V__CO] :
             ((s__instance(V__CO,s__Coughing) &
                 s__subProcess(V__CO,V__C)
               &
               s__experiencer(V__CO,V__H))))))))
)
)

Mid-level-ontology.kif 10723-10731
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10706-10721
( ! [V__C,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__C,s__Coughing) &
             s__experiencer(V__C,V__H))
         =>
         (( ? [V__I, V__E] :
             ((s__instance(V__I,s__Inhaling) &
                 s__instance(V__E,s__Exhaling) &
                 s__subProcess(V__I,V__C)
               &
               s__subProcess(V__E,V__C)
             &
             s__experiencer(V__I,V__H)
           &
           s__experiencer(V__E,V__H))))))))
)
)

Mid-level-ontology.kif 5684-5695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5697-5716
( ! [V__C,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__C,s__Crying) &
             s__experiencer(V__C,V__H))
         =>
         (( ? [V__T, V__E] :
             ((s__instance(V__T,s__TearSubstance) &
                 s__origin(V__C,V__E)
               &
               s__objectTranferred(V__C,V__T)
             &
             s__instance(V__E,s__Eye) &
             s__part(V__E,V__H))))))))
)
)

emotion.kif 1137-1147
No TPTP formula. May not be expressible in strict first order. emotion.kif 1149-1155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5763-5781
No TPTP formula. May not be expressible in strict first order. Merge.kif 9791-9806
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16958-16962
( ! [V__P,V__A,V__E] :
   (((s__subclass(V__P,s__BodyPart) &
         s__instance(V__A,s__Agent) &
         s__instance(V__E,s__Process))
       =>
       (((s__instance(V__E,s__EdemaFn(V__P))
         &
         s__experiencer(V__E,V__A))
     =>
     (( ? [V__PI] :
         ((s__instance(V__PI,s__BodyPart) &
             s__part(V__PI,V__A)
           &
           s__located(V__E,V__PI))))))))
)
)

Mid-level-ontology.kif 9216-9224
( ! [V__A,V__E] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__E,s__Edema) &
             s__experiencer(V__E,V__A))
         =>
         (( ? [V__T, V__P, V__L] :
             ((s__instance(V__T,s__Transfer) &
                 s__instance(V__L,s__Liquid) &
                 s__instance(V__P,s__BodyPart) &
                 s__part(V__P,V__A)
               &
               s__destination(V__T,V__P)
             &
             s__moves(V__T,V__L)
           &
           s__subProcess(V__T,V__E))))))))
)
)

Mid-level-ontology.kif 9194-9206
( ! [V__A,V__ELT,V__T] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__T,s__Object))
       =>
       (((s__instance(V__ELT,s__ExperiencingALumpInTheThroat) &
             s__experiencer(V__ELT,V__A))
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__Perception) &
                 s__subProcess(V__P,V__ELT)
               &
               s__agent(V__P,V__A)
             &
             s__patient(V__P,V__T)
           &
           s__instance(V__T,s__Throat) &
           s__part(V__T,V__A))))))))
)
)

emotion.kif 1711-1722
No TPTP formula. May not be expressible in strict first order. emotion.kif 1584-1598

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. People.kif 104-117 The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5859-5872
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. emotion.kif 161-172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22647-22661
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
( ! [V__A,V__T,V__E] :
   (((s__instance(V__T,s__TimeInterval) &
         s__instance(V__E,s__Agent))
       =>
       (((s__instance(V__A,s__Accelerating) &
             (V__T = s__WhenFn(V__A))
           &
           s__experiencer(V__A,V__E))
       =>
       (~(( ? [V__D] :
             ((s__instance(V__D,s__Decelerating) &
                 s__experiencer(V__D,V__E)
               &
               (V__T = s__WhenFn(V__D))))))))))
)
)

Mid-level-ontology.kif 15945-15955
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. emotion.kif 1882-1895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14993-15005
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17363-17379
( ! [V__AGENT,V__BIRTH] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__BIRTH,s__Birth) &
             s__experiencer(V__BIRTH,V__AGENT))
         =>
         (( ? [V__DEATH] :
             ((s__instance(V__DEATH,s__Death) &
                 s__experiencer(V__DEATH,V__AGENT))))))))
)
)

Merge.kif 9766-9773
( ! [V__C,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__C,s__Choking) &
             s__experiencer(V__C,V__H))
         =>
         (( ? [V__CO] :
             ((s__instance(V__CO,s__Coughing) &
                 s__subProcess(V__CO,V__C)
               &
               s__experiencer(V__CO,V__H))))))))
)
)

Mid-level-ontology.kif 10723-10731
( ! [V__C,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__C,s__Coughing) &
             s__experiencer(V__C,V__H))
         =>
         (( ? [V__I, V__E] :
             ((s__instance(V__I,s__Inhaling) &
                 s__instance(V__E,s__Exhaling) &
                 s__subProcess(V__I,V__C)
               &
               s__subProcess(V__E,V__C)
             &
             s__experiencer(V__I,V__H)
           &
           s__experiencer(V__E,V__H))))))))
)
)

Mid-level-ontology.kif 5684-5695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
( ! [V__AGENT,V__DEGREE] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__DEGREE,s__AcademicDegree) &
             s__possesses(V__AGENT,V__DEGREE))
         =>
         (( ? [V__PROGRAM, V__STUDY] :
             ((s__instance(V__STUDY,s__Process) &
                 (s__instance(V__PROGRAM,s__EducationalProgram) &
                   s__realization(V__STUDY,V__PROGRAM)
                 &
                 s__experiencer(V__STUDY,V__AGENT)))))))))
)
)

Mid-level-ontology.kif 15306-15314
( ! [V__AGENT,V__DISEASE] :
   ((s__instance(V__AGENT,s__Object) =>
       (((s__instance(V__DISEASE,s__LifeThreateningDisease) &
             s__attribute(V__AGENT,V__DISEASE))
         =>
         (s__capability(s__Death,s__experiencer__m,V__AGENT)))))
)
)

WMD.kif 1015-1019

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 912-920 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
No TPTP formula. May not be expressible in strict first order. People.kif 462-472 The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. WMD.kif 762-768 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM


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