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。"')

 chinese_format.kif 1865-1867
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 2338-2341
s__domain(s__agent__m,n__1,s__Process)

 Merge.kif 2334-2334 The number 1 argument of agent is an instance of process
s__domain(s__agent__m,n__2,s__Agent)

 Merge.kif 2335-2335 The number 2 argument of agent is an instance of agent
s__instance(s__agent__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

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

s__instance(s__agent__m,s__PartialValuedRelation)

 Merge.kif 2333-2333 agent is an instance of partial valued relation
s__subrelation(s__agent__m,s__involvedInEvent__m)

 Merge.kif 2336-2336 agent is a subrelation of involved in event

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__relatedInternalConcept(s__typicalAction__m,s__agent__m)

 Mid-level-ontology.kif 20708-20708 typicalAction is internally related to agent
s__subrelation(s__arrestingOfficer__m,s__agent__m)

 Law.kif 270-270 arresting officer is a subrelation of agent
s__subrelation(s__contestParticipant__m,s__agent__m)

 Mid-level-ontology.kif 17456-17456 contest participant is a subrelation of agent
s__subrelation(s__gainsControl__m,s__agent__m)

 Mid-level-ontology.kif 21359-21359 gains control is a subrelation of agent
s__subrelation(s__invadingVirus__m,s__agent__m)

 VirusProteinAndCellPart.kif 23-23 invading virus is a subrelation of agent
s__subrelation(s__perpetrator__m,s__agent__m)

 Law.kif 314-314 perpetrator is a subrelation of agent
s__subrelation(s__plaintiff__m,s__agent__m)

 Mid-level-ontology.kif 13919-13919 plaintiff is a subrelation of agent
s__subrelation(s__prosecutor__m,s__agent__m)

 Law.kif 352-352 prosecutor is a subrelation of agent
s__subrelation(s__serviceProvider__m,s__agent__m)

 Mid-level-ontology.kif 20771-20771 service provider is a subrelation of agent
s__termFormat(s__ChineseLanguage,s__agent__m,'"主事"')

 chinese_format.kif 54-54

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


( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   ((s__instance(V__AGENT2,s__Agent) &
       s__instance(V__AGENT1,s__Agent))
     =>
     (( ? [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)))))
&
(( ? [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))))
=>
( ? [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)))))
)
)

 Merge.kif 10921-10933 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   ((s__instance(V__AGENT2,s__Agent) &
       s__instance(V__AGENT1,s__Agent))
     =>
     (( ? [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)))))
&
(( ? [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))))
=>
( ? [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)))))
)
)

 Merge.kif 11083-11095 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16510-16516
( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] :
   ((s__instance(V__Object,s__Physical) &
       s__instance(V__Seller,s__Object) &
       s__instance(V__Money,s__CurrencyMeasure) &
       s__instance(V__Purchase,s__Process) &
       s__instance(V__Buyer,s__Agent))
     =>
     (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__origin(V__Payment,V__Buyer)
&
s__destination(V__Payment,V__Seller))))
)
)

 FinancialOntology.kif 463-475
( ! [V__AJT,V__A] :
   (s__instance(V__A,s__CognitiveAgent) =>
     (s__attribute(V__A,s__AppraisalAsJustTreatment) &
       s__instance(V__AJT,s__AppraisalProcess) &
       s__agent(V__AJT,V__A))
   =>
   ( ? [V__P, V__A2] :
     ((s__instance(V__A2,s__Agent) &
         (s__instance(V__P,s__Process) &
           s__refers(V__AJT,V__P)
         &
         s__agent(V__P,V__A2)
       &
       ~((V__A = V__A2))
       &
       s__patient(V__P,V__A)
     &
     s__wants(V__A,V__P)))))
)
)

 emotion.kif 374-387
( ! [V__A,V__AUJ] :
   (s__instance(V__A,s__CognitiveAgent) =>
     (s__attribute(V__A,s__AppraisalAsUnjustTreatment) &
       s__instance(V__AUJ,s__AppraisalProcess) &
       s__agent(V__AUJ,V__A))
   =>
   ( ? [V__P, V__A2] :
     ((s__instance(V__A2,s__Agent) &
         (s__instance(V__P,s__Process) &
           s__refers(V__AUJ,V__P)
         &
         s__agent(V__P,V__A2)
       &
       ~((V__A = V__A2))
       &
       s__patient(V__P,V__A)
     &
     ~(s__wants(V__A,V__P))))))
)
)

 emotion.kif 349-363
( ! [V__ACTOR,V__SPEAK,V__DRAMA,V__VIEWER] :
   ((s__instance(V__ACTOR,s__Agent) &
       s__instance(V__VIEWER,s__Agent))
     =>
     (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 1154-1171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23677-23690
( ! [V__X] :
   (s__instance(V__X,s__Agent) =>
     (s__attribute(V__X,s__TravelerAccommodation) &
       s__capability(s__RoomCleaningService,s__agent__m,V__X))
   =>
   ( ? [V__MAID, V__HOTELROOM] :
     ((s__instance(V__MAID,s__CognitiveAgent) &
         (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 1883-1894
( ! [V__WRITE,V__TEXT,V__X] :
   ((s__subclass(V__TEXT,s__ContentBearingObject) &
       s__instance(V__X,s__Agent))
     =>
     (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 1804-1808
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
( ! [V__POSITION,V__AREA,V__ELECTION] :
   ((s__instance(V__POSITION,s__Position) &
       s__instance(V__AREA,s__GeopoliticalArea))
     =>
     (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 1542-1549
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__AMT,s__CurrencyMeasure) &
       s__instance(V__CUST,s__CognitiveAgent) &
       s__subclass(V__ITEM,s__Object) &
       s__instance(V__ITEM,s__SetOrClass) &
       s__instance(V__X,s__Object))
     =>
     (s__customer(V__CUST,V__AGENT)
     &
     s__corkageFee(V__AMT,V__ITEM,V__AGENT)
   &
   s__instance(V__X,V__ITEM)
&
~(( ? [V__B] :
     ((s__instance(V__B,s__Buying) &
         s__patient(V__B,V__X)
       &
       s__destination(V__B,V__CUST)
     &
     s__origin(V__B,V__AGENT)))))
&
s__instance(V__D,s__Drinking) &
s__agent(V__D,V__CUST)
&
s__resource(V__D,V__X))
=>
( ? [V__C] :
((s__instance(V__C,s__Corkage) &
s__agent(V__C,V__CUST)
&
s__refers(V__C,V__X)
&
s__destination(V__C,V__AGENT))))
)
)

 Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18392-18401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16043-16057
No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
( ! [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__SetOrClass) &
       s__instance(V__PHYS,s__SetOrClass))
     =>
     (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 814-835
( ! [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__SetOrClass))
     =>
     (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 522-537
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] :
   ((s__instance(V__O,s__Object) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__ROOM,s__SetOrClass) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__OBJ,s__SetOrClass) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__Agent))
     =>
     (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(n__0,s__UnitedStatesDollar),V__HOTEL)
)
)

 Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 784-805
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT2,V__AGENT1] :
   ((s__instance(V__AGENT2,s__CognitiveAgent) &
       s__instance(V__AGENT1,s__CognitiveAgent))
     =>
     (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)))))
&
(( ? [V__SERVICE] :
   ((s__instance(V__SERVICE,s__FinancialTransaction) &
       s__agent(V__SERVICE,V__AGENT2)
     &
     s__destination(V__SERVICE,V__AGENT1))))
=>
s__customer(V__AGENT1,V__AGENT2))
)
)

 Mid-level-ontology.kif 7432-7438 A cognitive agent is a customer of another cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
( ! [V__Org,V__Person2,V__Person1] :
   ((s__instance(V__Org,s__Organization) &
       s__instance(V__Person2,s__CognitiveAgent) &
       s__instance(V__Person1,s__CognitiveAgent))
     =>
     (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)))))
&
(( ? [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))))
=>
s__customerRepresentative(V__Person1,V__Person2,V__Org))
)
)

 FinancialOntology.kif 3534-3541 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   ((s__instance(V__AGENT2,s__Agent) &
       s__instance(V__AGENT1,s__Agent))
     =>
     (( ? [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)))))
&
(( ? [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))))
=>
( ? [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)))))
)
)

 Merge.kif 10921-10933 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   ((s__instance(V__AGENT2,s__Agent) &
       s__instance(V__AGENT1,s__Agent))
     =>
     (( ? [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)))))
&
(( ? [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))))
=>
( ? [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)))))
)
)

 Merge.kif 11083-11095 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28427-28435 Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1505-1511 An entity is an instance of LegalAgent holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11709-11715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11700-11707
( ! [V__P,V__A] :
   ((s__instance(V__P,s__CognitiveAgent) &
       s__instance(V__A,s__Album))
     =>
     s__albumArtist(V__A,V__P)
   =>
   ( ? [V__R, V__M] :
     ((s__instance(V__M,s__Process) &
         (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 277-284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11688-11698
( ! [V__AJT,V__A] :
   (s__instance(V__A,s__CognitiveAgent) =>
     (s__attribute(V__A,s__AppraisalAsJustTreatment) &
       s__instance(V__AJT,s__AppraisalProcess) &
       s__agent(V__AJT,V__A))
   =>
   ( ? [V__P, V__A2] :
     ((s__instance(V__A2,s__Agent) &
         (s__instance(V__P,s__Process) &
           s__refers(V__AJT,V__P)
         &
         s__agent(V__P,V__A2)
       &
       ~((V__A = V__A2))
       &
       s__patient(V__P,V__A)
     &
     s__wants(V__A,V__P)))))
)
)

 emotion.kif 374-387
( ! [V__A,V__AUJ] :
   (s__instance(V__A,s__CognitiveAgent) =>
     (s__attribute(V__A,s__AppraisalAsUnjustTreatment) &
       s__instance(V__AUJ,s__AppraisalProcess) &
       s__agent(V__AUJ,V__A))
   =>
   ( ? [V__P, V__A2] :
     ((s__instance(V__A2,s__Agent) &
         (s__instance(V__P,s__Process) &
           s__refers(V__AUJ,V__P)
         &
         s__agent(V__P,V__A2)
       &
       ~((V__A = V__A2))
       &
       s__patient(V__P,V__A)
     &
     ~(s__wants(V__A,V__P))))))
)
)

 emotion.kif 349-363
( ! [V__AC,V__A,V__T] :
   ((s__instance(V__AC,s__UserAccount) &
       s__instance(V__A,s__Agent) &
       s__instance(V__T,s__TimeInterval))
     =>
     (s__attribute(V__AC,s__TwoFactorAuthentication) &
       s__loggedInDuring(V__A,V__AC,V__T))
   =>
   ( ? [V__TF] :
     ((s__instance(V__TF,s__TwoFactorLoggingIn) &
         s__agent(V__TF,V__A)
       &
       s__accountUsed(V__TF,V__AC)
     &
     s__earlier(s__WhenFn(V__TF)
  ,V__T))))
)
)

 ComputingBrands.kif 4298-4307
( ! [V__ACTOR,V__SPEAK,V__DRAMA,V__VIEWER] :
   ((s__instance(V__ACTOR,s__Agent) &
       s__instance(V__VIEWER,s__Agent))
     =>
     (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 16096-16109
( ! [V__OFFICER,V__COR] :
   (s__instance(V__OFFICER,s__Agent) =>
     (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 1154-1171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18261-18282
( ! [V__AGENT,V__CUST,V__ITEM] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__CUST,s__CognitiveAgent))
     =>
     (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 28134-28143
( ! [V__AGENT,V__CUST,V__ITEM] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__CUST,s__CognitiveAgent))
     =>
     (s__buys(V__CUST,V__AGENT,V__ITEM)
     &
     s__instance(V__ITEM,s__Proposition))
   =>
   ( ? [V__TRANS, V__PROC] :
     ((s__instance(V__PROC,s__Process) &
         (s__agent(V__TRANS,V__CUST)
         &
         s__realization(V__PROC,V__ITEM)
       &
       s__instance(V__TRANS,s__Buying) &
       s__patient(V__TRANS,V__PROC)
     &
     s__origin(V__TRANS,V__AGENT)))))
)
)

 Mid-level-ontology.kif 28145-28155
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
No TPTP formula. May not be expressible in strict first order. Hotel.kif 657-668

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 1195-1202 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 909-917 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1071 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1122-1134 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
  • if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING
contains information compulsory suffrage law
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


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