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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agent
agent

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


s__documentation(s__agent__m,s__ChineseLanguage,'(agent ?PROCESS ?AGENT) 的意思是 ?AGENT,不管它 有没有生命,也不管他有没有自主意图,它在 ?PROCESS 这个 Process 中是一个主动的决定因素。例如:在以下 夏娃咬了一口苹果这命题中,夏娃是个 agent。')

Merge.kif 2571-2573
s__documentation(s__agent__m,s__EnglishLanguage,'(agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the Process ?PROCESS, with or without voluntary intention. For example, Eve is an agent in the following proposition: Eve bit an apple.')

Merge.kif 2567-2570
s__domain(s__agent__m,1,s__Process)

Merge.kif 2564-2564
s__domain(s__agent__m,2,s__Agent)

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

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

Merge.kif 2563-2563
s__subrelation(s__agent__m,s__involvedInEvent__m)

Merge.kif 2566-2566

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


s__format(s__ChineseLanguage,s__agent__m,'%2 %n 是 %1 的 agent')

chinese_format.kif 53-53
s__format(s__EnglishLanguage,s__agent__m,'%2 is %n an agent of %1')

english_format.kif 53-53
s__format(s__FrenchLanguage,s__agent__m,'%1 est %n un agent de %2')

french_format.kif 55-55
s__format(s__ItalianLanguage,s__agent__m,'%1 � %n un agente di %2')

relations-it.txt 22-22
s__format(s__PortugueseLanguage,s__agent__m,'%1 e %n um agente de %2')

portuguese_format.kif 7-7
s__format(s__ar__m,s__agent__m,'%2 هو %n عَامِل لِـ %1')

arabic_format.kif 5-5
s__format(s__cz__m,s__agent__m,'%2 %p{je} %n{nen�} p�vodcem %1')

relations-cz.txt 80-80
s__format(s__de__m,s__agent__m,'%1 ist der agent von %2 %n{nicht}')

relations-de.txt 62-62
s__format(s__hi__m,s__agent__m,'%1 %2 kaa kartaa %n hai')

relations-hindi.txt 53-53
s__format(s__tg__m,s__agent__m,'%1 %n ang kumakatawan sa %2')

relations-cb.txt 56-56
s__relatedInternalConcept(s__typicalAction__m,s__agent__m)

Mid-level-ontology.kif 20664-20664
s__subrelation(s__arrestingOfficer__m,s__agent__m)

Law.kif 267-267
s__subrelation(s__contestParticipant__m,s__agent__m)

Mid-level-ontology.kif 17396-17396
s__subrelation(s__gainsControl__m,s__agent__m)

Mid-level-ontology.kif 21315-21315
s__subrelation(s__invadingVirus__m,s__agent__m)

VirusProteinAndCellPart.kif 23-23
s__subrelation(s__perpetrator__m,s__agent__m)

Law.kif 310-310
s__subrelation(s__plaintiff__m,s__agent__m)

Mid-level-ontology.kif 13918-13918
s__subrelation(s__prosecutor__m,s__agent__m)

Law.kif 348-348
s__subrelation(s__serviceProvider__m,s__agent__m)

Mid-level-ontology.kif 20727-20727
s__termFormat(s__ChineseLanguage,s__agent__m,'主事')

chinese_format.kif 54-54
s__termFormat(s__ar__m,s__agent__m,'«عَامِل»')

arabic_format.kif 455-455
s__termFormat(s__tg__m,s__agent__m,'kumakatawan')

relations-tg.txt 61-61

appearance as argument number 3
-------------------------


s__domain(s__automatedNotification__m,1,s__agent__m)

Facebook.kif 709-709

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


( ! [V__AGENT1,V__AGENT2,V__OBJECT] :
   ((? [V__BORROW] :
       (s__instance(V__BORROW,s__Borrowing) &
         s__agent(V__BORROW,V__AGENT1)
       &
       s__origin(V__BORROW,V__AGENT2)
     &
     s__patient(V__BORROW,V__OBJECT)))
<=>
(? [V__LEND] :
(s__instance(V__LEND,s__Lending) &
   s__agent(V__LEND,V__AGENT2)
&
s__destination(V__LEND,V__AGENT1)
&
s__patient(V__LEND,V__OBJECT))))
)

Merge.kif 11633-11645
( ! [V__AGENT1,V__AGENT2,V__OBJECT] :
   ((? [V__BUY] :
       (s__instance(V__BUY,s__Buying) &
         s__agent(V__BUY,V__AGENT1)
       &
       s__origin(V__BUY,V__AGENT2)
     &
     s__patient(V__BUY,V__OBJECT)))
<=>
(? [V__SELL] :
(s__instance(V__SELL,s__Selling) &
   s__agent(V__SELL,V__AGENT2)
&
s__destination(V__SELL,V__AGENT1)
&
s__patient(V__SELL,V__OBJECT))))
)

Merge.kif 11814-11826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16391-16397
( ! [V__Purchase,V__Buyer,V__Seller,V__Object,V__Money] :
   ((s__agent(V__Purchase,V__Buyer)
     &
     s__origin(V__Purchase,V__Seller)
   &
   s__patient(V__Purchase,V__Object)
&
s__monetaryValue(V__Object,V__Money))
=>
(? [V__Payment] :
(s__subProcess(V__Payment,V__Purchase)
&
s__instance(V__Payment,s__Payment) &
s__transactionAmount(V__Payment,V__Money)
&
s__destination(V__Payment,V__Seller))))
)

FinancialOntology.kif 465-476
( ! [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER] :
   ((s__attribute(V__ACTOR,s__VoiceActor) &
       s__instance(V__DRAMA,s__DramaticActing) &
       s__agent(V__DRAMA,V__ACTOR)
     &
     s__instance(V__SPEAK,s__LinguisticCommunication) &
     s__agent(V__SPEAK,V__ACTOR)
   &
   s__subProcess(V__SPEAK,V__DRAMA))
=>
((~ (? [V__S] :
     (s__instance(V__S,s__Seeing) &
       s__patient(V__S,V__ACTOR)
     &
     s__agent(V__S,V__VIEWER))))
&
(? [V__H] :
(s__instance(V__H,s__Hearing) &
s__patient(V__H,V__ACTOR)
&
s__agent(V__H,V__VIEWER)))))
)

Biography.kif 518-537
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. ArabicCulture.kif 125-134
No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23584-23597
( ! [V__X] :
   ((s__attribute(V__X,s__TravelerAccommodation) &
       s__capability(s__RoomCleaningService,s__agent__m,V__X))
   =>
   (? [V__MAID,V__HOTELROOM] :
     (s__employs(V__X,V__MAID)
     &
     s__attribute(V__MAID,s__Maid) &
     s__instance(V__HOTELROOM,s__HotelUnit) &
     s__part(V__HOTELROOM,s__PropertyFn(V__X))
&
s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
&
s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID))))
)

Hotel.kif 1879-1890
( ! [V__X,V__TEXT,V__WRITE] :
   ((s__attribute(V__X,s__Writer) &
       (s__instance(V__TEXT,s__Text) |
         s__instance(V__TEXT,s__Document))
       &
       s__instance(V__WRITE,s__Writing) &
       s__agent(V__WRITE,V__X)
     &
     s__result(V__WRITE,V__TEXT))
=>
s__authors(V__X,V__TEXT))
)

Biography.kif 492-501
No TPTP formula. May not be expressible in strict first order. Government.kif 1810-1814
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
( ! [V__AREA,V__POSITION,V__ELECTION] :
   ((s__chiefOfStateType(V__AREA,V__POSITION)
     &
     s__agent(V__ELECTION,V__AREA)
   &
   s__instance(V__ELECTION,s__Election) &
   s__electionForPosition(V__ELECTION,V__POSITION)
&
s__instance(V__ELECTION,s__PopularElection))
=>
s__governmentType(V__AREA,s__Democracy))
)

Government.kif 1548-1555
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18332-18341
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
( ! [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
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] :
   ((s__freeRoomAmenity(V__ROOM,V__OBJ)
     &
     s__subclass(V__OBJ,s__Object) &
     s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 333-348
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. Law.kif 520-529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28718-28739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27711-27723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4884-4898

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT1,V__AGENT2] :
   (s__customer(V__AGENT1,V__AGENT2)
   <=>
   (? [V__SERVICE] :
     (s__instance(V__SERVICE,s__FinancialTransaction) &
       s__agent(V__SERVICE,V__AGENT2)
     &
     s__destination(V__SERVICE,V__AGENT1))))
)

Mid-level-ontology.kif 7430-7436
( ! [V__Person1,V__Person2,V__Org] :
   (s__customerRepresentative(V__Person1,V__Person2,V__Org)
   <=>
   (? [V__Service] :
     (s__instance(V__Service,s__FinancialTransaction) &
       s__employs(V__Org,V__Person1)
     &
     s__agent(V__Service,V__Person1)
   &
   s__destination(V__Service,V__Person2))))
)

FinancialOntology.kif 3527-3534
( ! [V__AGENT1,V__AGENT2,V__OBJECT] :
   ((? [V__BORROW] :
       (s__instance(V__BORROW,s__Borrowing) &
         s__agent(V__BORROW,V__AGENT1)
       &
       s__origin(V__BORROW,V__AGENT2)
     &
     s__patient(V__BORROW,V__OBJECT)))
<=>
(? [V__LEND] :
(s__instance(V__LEND,s__Lending) &
   s__agent(V__LEND,V__AGENT2)
&
s__destination(V__LEND,V__AGENT1)
&
s__patient(V__LEND,V__OBJECT))))
)

Merge.kif 11633-11645
( ! [V__AGENT1,V__AGENT2,V__OBJECT] :
   ((? [V__BUY] :
       (s__instance(V__BUY,s__Buying) &
         s__agent(V__BUY,V__AGENT1)
       &
       s__origin(V__BUY,V__AGENT2)
     &
     s__patient(V__BUY,V__OBJECT)))
<=>
(? [V__SELL] :
(s__instance(V__SELL,s__Selling) &
   s__agent(V__SELL,V__AGENT2)
&
s__destination(V__SELL,V__AGENT1)
&
s__patient(V__SELL,V__OBJECT))))
)

Merge.kif 11814-11826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28338-28346
No TPTP formula. May not be expressible in strict first order. Merge.kif 1636-1642
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11703-11709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11694-11701
( ! [V__A,V__P] :
   (s__albumArtist(V__A,V__P)
   =>
   (? [V__R,V__M] :
     (s__instance(V__R,s__Recording) &
       s__inList(V__R,V__A)
     &
     s__record(V__R,V__M)
   &
   s__agent(V__M,V__P))))
)

Music.kif 274-281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11692
( ! [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER] :
   ((s__attribute(V__ACTOR,s__VoiceActor) &
       s__instance(V__DRAMA,s__DramaticActing) &
       s__agent(V__DRAMA,V__ACTOR)
     &
     s__instance(V__SPEAK,s__LinguisticCommunication) &
     s__agent(V__SPEAK,V__ACTOR)
   &
   s__subProcess(V__SPEAK,V__DRAMA))
=>
((~ (? [V__S] :
     (s__instance(V__S,s__Seeing) &
       s__patient(V__S,V__ACTOR)
     &
     s__agent(V__S,V__VIEWER))))
&
(? [V__H] :
(s__instance(V__H,s__Hearing) &
s__patient(V__H,V__ACTOR)
&
s__agent(V__H,V__VIEWER)))))
)

Biography.kif 518-537
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. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. Merge.kif 17644-17657
( ! [V__OFFICER,V__COR] :
   ((s__attribute(V__OFFICER,V__COR)
     &
     s__instance(V__COR,s__CommissionedOfficerRank))
   =>
   (? [V__MANAGE,V__PATIENT] :
     (s__instance(V__MANAGE,s__Managing) &
       s__agent(V__MANAGE,V__OFFICER)
     &
     s__patient(V__MANAGE,V__PATIENT)
   &
   (s__instance(V__PATIENT,s__MilitaryOrganization) |
     s__attribute(V__PATIENT,s__Soldier)))))
)

Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 125-134
No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18222
( ! [V__CUST,V__AGENT,V__ITEM] :
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     &
     s__instance(V__ITEM,s__Physical))
   =>
   (? [V__TRANS] :
     (s__instance(V__TRANS,s__Buying) &
       s__patient(V__TRANS,V__ITEM)
     &
     s__agent(V__TRANS,V__CUST)
   &
   s__origin(V__TRANS,V__AGENT))))
)

Mid-level-ontology.kif 28049-28058
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Hotel.kif 653-664
No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
( ! [V__CUST,V__AGENT,V__X,V__LUGGAGE] :
   ((s__customer(V__CUST,V__AGENT)
     &
     s__employs(V__AGENT,V__X)
   &
   s__attribute(V__AGENT,s__TravelerAccommodation) &
   s__attribute(V__X,s__Porter) &
   s__possesses(V__CUST,V__LUGGAGE)
&
s__instance(V__LUGGAGE,s__TravelContainer))
=>
(? [V__ROOM,V__CARRY] :
(s__instance(V__ROOM,s__HotelUnit) &
   s__instance(V__CARRY,s__Carrying) &
   s__agent(V__CARRY,V__X)
&
(s__destination(V__CARRY,V__ROOM)
|
s__origin(V__CARRY,V__ROOM)))))
)

Hotel.kif 2333-2348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493

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. Government.kif 1202-1209
No TPTP formula. May not be expressible in strict first order. Government.kif 916-924
No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078
No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1141
No TPTP formula. May not be expressible in strict first order. People.kif 462-472


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