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,参数之间并不需要含有因果关系。')

Merge.kif 2602-2604
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 2597-2601
s__domain(s__experiencer__m,1,s__Process)

Merge.kif 2594-2594
s__domain(s__experiencer__m,2,s__Agent)

Merge.kif 2595-2595
s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2592-2592
s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 2593-2593
s__subrelation(s__experiencer__m,s__involvedInEvent__m)

Merge.kif 2596-2596

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 78-78
s__format(s__FrenchLanguage,s__experiencer__m,'%2 %n{n} exp�rimente %n{pas} %1')

french_format.kif 74-74
s__format(s__ItalianLanguage,s__experiencer__m,'%2 %n{non} esperisce%p{s} %1')

relations-it.txt 102-102
s__format(s__PortugueseLanguage,s__experiencer__m,'%2 %n{nao} experimenta %n %1')

portuguese_format.kif 26-26
s__format(s__ar__m,s__experiencer__m,'%2 %n{لا} يُجَرِّب %1')

arabic_format.kif 24-24
s__format(s__cz__m,s__experiencer__m,'%2 %n{ne}prod�l�v� %1')

relations-cz.txt 82-82
s__format(s__de__m,s__experiencer__m,'%2 erfaehrt %1 %n{nicht}')

relations-de.txt 118-118
s__format(s__hi__m,s__experiencer__m,'%2 %1 kaa anubhava-kartaa %n{nahiin} hai')

relations-hindi.txt 142-142
s__format(s__tg__m,s__experiencer__m,'%2 %n ay danas %1')

relations-tg.txt 215-215
s__subrelation(s__attends__m,s__experiencer__m)

Merge.kif 12969-12969
s__subrelation(s__losesControl__m,s__experiencer__m)

Mid-level-ontology.kif 21326-21326
s__subrelation(s__serviceRecipient__m,s__experiencer__m)

Mid-level-ontology.kif 20738-20738
s__termFormat(s__ChineseLanguage,s__experiencer__m,'经历者')

chinese_format.kif 104-104
s__termFormat(s__EnglishLanguage,s__experiencer__m,'experiencer')

domainEnglishFormat.kif 4222-4222
s__termFormat(s__ar__m,s__experiencer__m,'«يُجَرِّب»')

arabic_format.kif 474-474
s__termFormat(s__tg__m,s__experiencer__m,'tagakaranasan')

relations-tg.txt 216-216

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


( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X] :
   ((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(0,s__UnitedStatesDollar),V__AGENT))
)

Hotel.kif 810-831
( ! [V__AGENT,V__PHYS,V__X,V__CUST] :
   ((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(0,s__UnitedStatesDollar),V__AGENT))
)

Hotel.kif 518-533
No TPTP formula. May not be expressible in strict first order. Merge.kif 18577-18583
No TPTP formula. May not be expressible in strict first order. Merge.kif 18546-18552
( ! [V__A,V__T,V__E] :
   ((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 14759-14769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13988-13998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19042-19057
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14008-14018
( ! [V__BIRTH,V__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 10197-10204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18985-18993
( ! [V__BLEED,V__ANIMAL] :
   ((s__instance(V__BLEED,s__Bleeding) &
       s__experiencer(V__BLEED,V__ANIMAL))
   =>
   s__instance(V__ANIMAL,s__Animal))
)

Mid-level-ontology.kif 18979-18983
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15901-15905
( ! [V__ELT,V__A,V__T] :
   ((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 1672-1683
No TPTP formula. May not be expressible in strict first order. emotion.kif 1545-1559
( ! [V__ELT,V__A,V__T] :
   ((s__instance(V__ELT,s__ExperiencingHeatInCheeksOrChest) &
       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__Torso) |
   s__instance(V__T,s__Face))
&
s__part(V__T,V__A))))
)

emotion.kif 1695-1708
( ! [V__EV,V__A,V__P] :
   ((s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__A)
     &
     s__experiencer(V__EV,V__P))
=>
(? [V__C,V__CA] :
   (s__instance(V__C,s__Classifying) &
     s__subProcess(V__C,V__EV)
   &
   s__experiencer(V__C,V__P)
&
(s__subOrganization(V__CA,V__A)
|
s__member(V__CA,V__A)
|
(V__CA = V__A))
&
s__agent(V__C,V__CA))))
)

MilitaryProcesses.kif 2576-2590
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 133-140
( ! [V__EV,V__H] :
   ((s__instance(V__EV,s__Evacuation) &
       s__experiencer(V__EV,V__H))
   =>
   s__instance(V__H,s__Human))
)

MilitaryProcesses.kif 2501-2505
( ! [V__EV,V__P,V__A] :
   ((s__instance(V__EV,s__Evacuation) &
       s__experiencer(V__EV,V__P)
     &
     s__agent(V__EV,V__A))
=>
(? [V__M,V__MA] :
   (s__instance(V__M,s__TherapeuticProcess) &
     s__subProcess(V__M,V__EV)
   &
   (s__subOrganization(V__MA,V__A)
   |
   s__member(V__MA,V__A)
|
(V__MA = V__A))
&
s__agent(V__M,V__MA)
&
s__experiencer(V__M,V__P))))
)

MilitaryProcesses.kif 2558-2572
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14025-14034
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1928-1943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15911-15917

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
No TPTP formula. May not be expressible in strict first order. People.kif 138-151
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
No TPTP formula. May not be expressible in strict first order. People.kif 411-442
No TPTP formula. May not be expressible in strict first order. People.kif 323-353
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
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 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
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. MilitaryPersons.kif 120-131
( ! [V__A,V__T,V__E] :
   ((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 14759-14769
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1618-1629
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1631-1643
No TPTP formula. May not be expressible in strict first order. emotion.kif 1843-1856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13847-13858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16230-16246
( ! [V__BIRTH,V__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 10197-10204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 196-205
( ! [V__DEGREE,V__AGENT] :
   ((s__instance(V__DEGREE,s__AcademicDegree) &
       s__possesses(V__AGENT,V__DEGREE))
   =>
   (? [V__PROGRAM,V__STUDY] :
     (s__instance(V__PROGRAM,s__EducationalProgram) &
       s__realization(V__STUDY,V__PROGRAM)
     &
     s__experiencer(V__STUDY,V__AGENT))))
)

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

WMD.kif 973-977
( ! [V__DVU,V__A] :
   ((s__instance(V__DVU,s__DisgustedVoiceUtterance) &
       s__agent(V__DVU,V__A))
   =>
   (? [V__D] :
     (s__instance(V__D,s__Disgust) &
       s__experiencer(V__D,V__A)
     &
     s__causes(V__D,V__DVU))))
)

emotion.kif 1898-1906
( ! [V__EV,V__A,V__P] :
   ((s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__A)
     &
     s__experiencer(V__EV,V__P))
=>
(? [V__C,V__CA] :
   (s__instance(V__C,s__Classifying) &
     s__subProcess(V__C,V__EV)
   &
   s__experiencer(V__C,V__P)
&
(s__subOrganization(V__CA,V__A)
|
s__member(V__CA,V__A)
|
(V__CA = V__A))
&
s__agent(V__C,V__CA))))
)

MilitaryProcesses.kif 2576-2590
( ! [V__EV,V__A,V__O] :
   ((s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__A)
     &
     s__origin(V__EV,V__O))
=>
(? [V__T,V__TA] :
   (s__instance(V__T,s__Translocation) &
     s__subProcess(V__T,V__EV)
   &
   s__origin(V__T,V__O)
&
(s__experiencer(V__T,V__TA)
|
s__agent(V__T,V__TA))
&
(s__subOrganization(V__TA,V__A)
|
s__member(V__TA,V__A)
|
(V__TA = V__A)))))
)

MilitaryProcesses.kif 2594-2610
( ! [V__EV,V__P,V__A] :
   ((s__instance(V__EV,s__Evacuation) &
       s__experiencer(V__EV,V__P)
     &
     s__agent(V__EV,V__A))
=>
(? [V__M,V__MA] :
   (s__instance(V__M,s__TherapeuticProcess) &
     s__subProcess(V__M,V__EV)
   &
   (s__subOrganization(V__MA,V__A)
   |
   s__member(V__MA,V__A)
|
(V__MA = V__A))
&
s__agent(V__M,V__MA)
&
s__experiencer(V__M,V__P))))
)

MilitaryProcesses.kif 2558-2572

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 870-878
No TPTP formula. May not be expressible in strict first order. People.kif 462-472
No TPTP formula. May not be expressible in strict first order. WMD.kif 761-767


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