  agent
|
|
Sigma KEE - 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 2345-2348 |
|
| s__domain(s__agent__m,n__1,s__Process)
|
Merge.kif 2341-2341 |
The number 1 argument of agent is an instance of process |
| s__domain(s__agent__m,n__2,s__Agent)
|
Merge.kif 2342-2342 |
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 2339-2339 |
agent is an instance of case role |
| s__instance(s__PartialValuedRelation,s__SetOrClass)
s__instance(s__agent__m,s__PartialValuedRelation)
|
Merge.kif 2340-2340 |
agent is an instance of partial valued relation |
| s__subrelation(s__agent__m,s__involvedInEvent__m)
|
Merge.kif 2343-2343 |
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 21290-21290 |
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 18090-18090 |
contest participant is a subrelation of agent |
| s__subrelation(s__gainsControl__m,s__agent__m)
|
Mid-level-ontology.kif 21907-21907 |
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 14796-14796 |
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 21351-21351 |
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 11204-11216 |
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 11366-11378 |
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 17252-17258 |
|
( ! [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 524-543 |
|
| 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 1160-1177 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24154-24167 |
|
( ! [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 1897-1908 |
|
( ! [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 498-507 |
|
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 1836-1840 |
|
| 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 1574-1581 |
|
( ! [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__Class) &
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 19114-19123 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16792-16806 |
|
| 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__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 |
|
( ! [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__Class) &
s__subclass(V__ROOM,s__HotelUnit) &
s__instance(V__OBJ,s__Class) &
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 790-811 |
|
| 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 7204-7210 |
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 3576-3583 |
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 11204-11216 |
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 11366-11378 |
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 28686-28694 |
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 1511-1517 |
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 12681-12687 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12672-12679 |
|
( ! [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 12660-12670 |
|
( ! [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 4344-4353 |
|
( ! [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 524-543 |
|
| 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-212 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16523-16536 |
|
( ! [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 1160-1177 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18982-19003 |
|
( ! [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 28385-28394 |
|
( ! [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 28396-28406 |
|
| 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 663-674 |
|
| | 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 1227-1234 |
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 1078-1089 |
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 1146-1160 |
For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE 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 simplified definition (without tree view)
Show simplified definition (with tree view)
|