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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PeriodicalPublisher

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