agent - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__agent__m,s__ChineseLanguage,'(agent ?PROCESS ?AGENT) 的意思是 ?AGENT，不管它有没有生命，也不管他有没有自主意图，它在 ?PROCESS 这个 Process 中是一个主动的决定因素。例如：在以下夏娃咬了一口苹果这命题中，夏娃是个 agent。')	Merge.kif 2584-2586
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 2580-2583
s__domain(s__agent__m,1,s__Process)	Merge.kif 2577-2577	The number 1 argument of agent is an instance of process
s__domain(s__agent__m,2,s__Agent)	Merge.kif 2578-2578	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 2575-2575	agent is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass) s__instance(s__agent__m,s__PartialValuedRelation)	Merge.kif 2576-2576	agent is an instance of partial valued relation
s__subrelation(s__agent__m,s__involvedInEvent__m)	Merge.kif 2579-2579	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 20695-20695	typicalAction is internally related to agent
s__subrelation(s__arrestingOfficer__m,s__agent__m)	Law.kif 267-267	arresting officer is a subrelation of agent
s__subrelation(s__contestParticipant__m,s__agent__m)	Mid-level-ontology.kif 17454-17454	contest participant is a subrelation of agent
s__subrelation(s__gainsControl__m,s__agent__m)	Mid-level-ontology.kif 21346-21346	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 310-310	perpetrator is a subrelation of agent
s__subrelation(s__plaintiff__m,s__agent__m)	Mid-level-ontology.kif 13918-13918	plaintiff is a subrelation of agent
s__subrelation(s__prosecutor__m,s__agent__m)	Law.kif 348-348	prosecutor is a subrelation of agent
s__subrelation(s__serviceProvider__m,s__agent__m)	Mid-level-ontology.kif 20758-20758	service provider is a subrelation of agent
s__termFormat(s__ChineseLanguage,s__agent__m,'主事')	chinese_format.kif 54-54	"主事" is the printable form of agent in ChineseLanguage

antecedent

( ! [V__AGENT2,V__AGENT1,V__OBJECT] : ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent)) s__=>((s__exists__m[V__BORROW] : (s__instance(V__BORROW,s__Borrowing)s__and__ms__agent(V__BORROW,V__AGENT1) s__and__ms__origin(V__BORROW,V__AGENT2) s__and__ms__patient(V__BORROW,V__OBJECT))) s__<=> (s__exists__m[V__LEND] : (s__instance(V__LEND,s__Lending)s__and__ms__agent(V__LEND,V__AGENT2) s__and__ms__destination(V__LEND,V__AGENT1) s__and__ms__patient(V__LEND,V__OBJECT))))) )	Merge.kif 11691-11703	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__AGENT1,V__OBJECT] : ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent)) s__=>((s__exists__m[V__BUY] : (s__instance(V__BUY,s__Buying)s__and__ms__agent(V__BUY,V__AGENT1) s__and__ms__origin(V__BUY,V__AGENT2) s__and__ms__patient(V__BUY,V__OBJECT))) s__<=> (s__exists__m[V__SELL] : (s__instance(V__SELL,s__Selling)s__and__ms__agent(V__SELL,V__AGENT2) s__and__ms__destination(V__SELL,V__AGENT1) s__and__ms__patient(V__SELL,V__OBJECT))))) )	Merge.kif 11872-11884	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 16421-16427	If an agent is an agent of a process and an entity is a result of the process and the entity is an instance of art work, then Artist is an attribute of the agent holds during the time of existence of the process
( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] : ((s__instance(V__Object,s__Physical)s__and__ms__instance(V__Seller,s__Object)s__and__ms__instance(V__Money,s__CurrencyMeasure)s__and__ms__instance(V__Purchase,s__Process)s__and__ms__instance(V__Buyer,s__Agent)) s__=>((s__agent(V__Purchase,V__Buyer) s__and__ms__origin(V__Purchase,V__Seller) s__and__ms__patient(V__Purchase,V__Object) s__and__ms__monetaryValue(V__Object,V__Money)) s__=>(s__exists__m[V__Payment] : (s__subProcess(V__Payment,V__Purchase) s__and__ms__instance(V__Payment,s__Payment)s__and__ms__transactionAmount(V__Payment,V__Money) s__and__ms__destination(V__Payment,V__Seller))))) )	FinancialOntology.kif 465-476	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction ends up at the object
( ! [V__ACTOR,V__VIEWER,V__DRAMA,V__SPEAK] : ((s__instance(V__ACTOR,s__Agent)s__and__ms__instance(V__VIEWER,s__Agent)) s__=>((s__attribute(V__ACTOR,s__VoiceActor)s__and__ms__instance(V__DRAMA,s__DramaticActing)s__and__ms__agent(V__DRAMA,V__ACTOR) s__and__ms__instance(V__SPEAK,s__LinguisticCommunication)s__and__ms__agent(V__SPEAK,V__ACTOR) s__and__ms__subProcess(V__SPEAK,V__DRAMA)) s__=>((s__not__m(s__exists__m[V__S] : (s__instance(V__S,s__Seeing)s__and__ms__patient(V__S,V__ACTOR) s__and__ms__agent(V__S,V__VIEWER)))) s__and__m(s__exists__m[V__H] : (s__instance(V__H,s__Hearing)s__and__ms__patient(V__H,V__ACTOR) s__and__ms__agent(V__H,V__VIEWER)))))) )	Biography.kif 518-537	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there doesn't exist a third process such that the third process is an instance of seeing and the agent is a patient of the third process and another agent is an agent of the third process and there exists a fourth process such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the time interval and the time interval happens before the other time interval, then the time interval has purpose there exist another entity, the other time intervalUHUR and a fourth entity such that the fourth entity is an instance of waking up and the other entity experiences the fourth entity and the other time intervalUHUR is an instance of suhur and the other entity is an agent of the other time intervalUHUR and the fourth entity happens before the other time intervalUHUR and the fourth entity takes place during the time intervalAY and the other time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 125-134	If muslim is an attribute of an object and the object is capable of doing hajj as a agent, then the statement there exists an entity such that the entity is an instance of hajj and the object is an agent of the entity has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1158-1175	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23664-23677	If multilingual is an attribute of an agent and a process is an instance of speaking and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of spoken human language and the other entity is an instance of spoken human language and the entity is not equal to the other entity and the entity is a patient of the process or the other entity is a patient of the process has the modal force of possibility
( ! [V__X] : (s__instance(V__X,s__Agent)s__=>((s__attribute(V__X,s__TravelerAccommodation)s__and__ms__capability(s__RoomCleaningService,s__agent__m,V__X)) s__=>(s__exists__m[V__MAID,V__HOTELROOM] : (s__instance(V__MAID,s__CognitiveAgent)s__and__m(s__employs(V__X,V__MAID) s__and__ms__attribute(V__MAID,s__Maid)s__and__ms__instance(V__HOTELROOM,s__HotelUnit)s__and__ms__part(V__HOTELROOM,s__PropertyFn(V__X)) s__and__ms__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM) s__and__ms__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))))) )	Hotel.kif 1879-1890	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
( ! [V__TEXT,V__X,V__WRITE] : ((s__subclass(V__TEXT,s__ContentBearingObject)s__and__ms__instance(V__X,s__Agent)) s__=>((s__attribute(V__X,s__Writer)s__and__m(s__instance(V__TEXT,s__Text)s__or__ms__instance(V__TEXT,s__Document)) s__and__ms__instance(V__WRITE,s__Writing)s__and__ms__agent(V__WRITE,V__X) s__and__ms__result(V__WRITE,V__TEXT)) s__=>s__authors(V__X,V__TEXT))) )	Biography.kif 492-501	If writer is an attribute of an agent and a kind of content bearing object is an instance of text or a kind of content bearing object is an instance of Document and a process is an instance of writing and the agent is an agent of the process and the kind of content bearing object is a result of the process, then the agent is the author of the kind of content bearing object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1810-1814	If an election candidate for position a social role for a cognitive agent and an agent is an agent of the election, then the cognitive agent desires the cognitive agent holds the position of the social role in the agent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 151-169	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
( ! [V__POSITION,V__AREA,V__ELECTION] : ((s__instance(V__POSITION,s__Position)s__and__ms__instance(V__AREA,s__GeopoliticalArea)) s__=>((s__chiefOfStateType(V__AREA,V__POSITION) s__and__ms__agent(V__ELECTION,V__AREA) s__and__ms__instance(V__ELECTION,s__Election)s__and__ms__electionForPosition(V__ELECTION,V__POSITION) s__and__ms__instance(V__ELECTION,s__PopularElection)) s__=>s__governmentType(V__AREA,s__Democracy))) )	Government.kif 1548-1555	If a position is a chief of state type of a geopolitical area and the geopolitical area is an agent of an election and the election is an instance of election and the position is an election for position of the election and the election is an instance of popular election, then democracy is a government type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-153	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and an entity is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the entity is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another entity is an instance of intentional process and the entity is a patient of the other entity or the entity is a resource for the other entity or the entity is an instrument for the other entity and the other cognitive agent is an agent of the other entity holds during the time of existence of the other cognitive agent is located at a third entity, then there exists another process such that the other process is an instance of corkage and the other cognitive agent is an agent of the other process and the other process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18390-18399	If a human directed a motion picture and a process is an instance of film making and an agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process, then film director is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 339-350	If a cognitive agent provides an object and the cognitive agent is a customer of another cognitive agent and an entity is an instance of the object and there exists a process such that the process is an instance of intentional process and the entity is a patient of the process and the other cognitive agent is an agent of the process, then the cognitive agent allows the other cognitive agent to perform task of the type the entity uses the other cognitive agent
( ! [V__AGENT,V__CUST,V__FR,V__PHYS,V__RM,V__R,V__X] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__subclass(V__FR,s__HotelFunctionRoom)s__and__ms__instance(V__FR,s__SetOrClass)s__and__ms__instance(V__PHYS,s__SetOrClass)) s__=>((s__freeFunctionRoomAmenity(V__FR,V__PHYS) s__and__ms__instance(V__RM,V__FR) s__and__ms__element(V__RM,s__PropertyFn(V__AGENT)) s__and__ms__instance(V__R,s__Renting)s__and__ms__patient(V__R,V__RM) s__and__ms__destination(V__R,V__CUST) s__and__ms__instance(V__X,V__PHYS) s__and__ms__possesses(V__AGENT,V__X) s__and__ms__customer(V__CUST,V__AGENT) s__and__m((s__instance(V__X,s__Process)s__and__m(s__agent(V__X,V__CUST) s__or__ms__experiencer(V__X,V__CUST))) s__or__m(s__possesses(V__AGENT,V__X) s__and__ms__instance(V__X,s__Object)s__and__ms__uses(V__CUST,V__X)))) s__=>s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT))) )	Hotel.kif 810-831	If a set or class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the set or class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent price 0 united states dollar(s) for the cognitive agent
( ! [V__AGENT,V__CUST,V__PHYS,V__X] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__PHYS,s__SetOrClass)) s__=>((s__freePropertyAmenity(V__AGENT,V__PHYS) s__and__ms__instance(V__X,V__PHYS) s__and__ms__customer(V__CUST,V__AGENT) s__and__m((s__instance(V__X,s__Process)s__and__m(s__agent(V__X,V__CUST) s__or__ms__experiencer(V__X,V__CUST))) s__or__m(s__possesses(V__AGENT,V__X) s__and__ms__instance(V__X,s__Object)s__and__ms__uses(V__CUST,V__X)))) s__=>s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT))) )	Hotel.kif 518-533	If use of a set or class is free for a cognitive agent and an agent is an instance of the set or class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent price 0 united states dollar(s) for the cognitive agent
( ! [V__O,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL,V__P] : ((s__instance(V__O,s__Object)s__and__ms__instance(V__R,s__TemporaryResidence)s__and__ms__instance(V__ROOM,s__SetOrClass)s__and__ms__subclass(V__ROOM,s__HotelUnit)s__and__ms__instance(V__OBJ,s__SetOrClass)s__and__ms__instance(V__GUEST,s__Human)s__and__ms__instance(V__HOTEL,s__Agent)) s__=>((s__freeRoomAmenity(V__ROOM,V__OBJ) s__and__ms__subclass(V__OBJ,s__Object)s__and__ms__instance(V__R,V__ROOM) s__and__ms__stays(V__GUEST,V__R) s__and__ms__element(V__R,s__PropertyFn(V__HOTEL)) s__and__ms__instance(V__O,V__OBJ) s__and__ms__located(V__O,V__R) s__and__ms__instance(V__P,s__Process)s__and__ms__agent(V__P,V__GUEST) s__and__m(s__patient(V__P,V__O) s__or__ms__instrument(V__P,V__O) s__or__ms__resource(V__P,V__O))) s__=>s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))) )	Hotel.kif 333-348	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 780-801	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 520-529	If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28798-28819	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27791-27803	If a process is an instance of Apologizing and the processG is an agent of the process and the process ends up at another agent, then there exists the processCT such that the other agent suffers from the processCT and the processG is an agent of the processCT and the processG doesn't want the processCT holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4884-4898	If an agent is an instance of Biped and a process is an instance of ambulating and the agent is an agent of the process, then the statement there exist an entity and L2 such that the entity is an instance of leg and another entity is an instance of leg and the entity is a part of the agent and the other entity is a part of the agent and the entity is an instrument for the process and the other entity is an instrument for the process has the modal force of likely

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__and__ms__instance(V__AGENT1,s__CognitiveAgent)) s__=>(s__customer(V__AGENT1,V__AGENT2) s__<=> (s__exists__m[V__SERVICE] : (s__instance(V__SERVICE,s__FinancialTransaction)s__and__ms__agent(V__SERVICE,V__AGENT2) s__and__ms__destination(V__SERVICE,V__AGENT1))))) )	Mid-level-ontology.kif 7430-7436	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__and__ms__instance(V__Person2,s__CognitiveAgent)s__and__ms__instance(V__Person1,s__CognitiveAgent)) s__=>(s__customerRepresentative(V__Person1,V__Person2,V__Org) s__<=> (s__exists__m[V__Service] : (s__instance(V__Service,s__FinancialTransaction)s__and__ms__employs(V__Org,V__Person1) s__and__ms__agent(V__Service,V__Person1) s__and__ms__destination(V__Service,V__Person2))))) )	FinancialOntology.kif 3527-3534	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__AGENT1,V__OBJECT] : ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent)) s__=>((s__exists__m[V__BORROW] : (s__instance(V__BORROW,s__Borrowing)s__and__ms__agent(V__BORROW,V__AGENT1) s__and__ms__origin(V__BORROW,V__AGENT2) s__and__ms__patient(V__BORROW,V__OBJECT))) s__<=> (s__exists__m[V__LEND] : (s__instance(V__LEND,s__Lending)s__and__ms__agent(V__LEND,V__AGENT2) s__and__ms__destination(V__LEND,V__AGENT1) s__and__ms__patient(V__LEND,V__OBJECT))))) )	Merge.kif 11691-11703	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__AGENT1,V__OBJECT] : ((s__instance(V__AGENT2,s__Agent)s__and__ms__instance(V__AGENT1,s__Agent)) s__=>((s__exists__m[V__BUY] : (s__instance(V__BUY,s__Buying)s__and__ms__agent(V__BUY,V__AGENT1) s__and__ms__origin(V__BUY,V__AGENT2) s__and__ms__patient(V__BUY,V__OBJECT))) s__<=> (s__exists__m[V__SELL] : (s__instance(V__SELL,s__Selling)s__and__ms__agent(V__SELL,V__AGENT2) s__and__ms__destination(V__SELL,V__AGENT1) s__and__ms__patient(V__SELL,V__OBJECT))))) )	Merge.kif 11872-11884	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 28418-28426	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 1648-1654	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 11703-11709	If a cognitive agent has the responsibility to make a proposition permission in an agreement, then the cognitive agent has the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11694-11701	If a cognitive agent has the responsibility to make a proposition prohibition in an agreement, then the cognitive agent doesn't have the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
( ! [V__P,V__A] : ((s__instance(V__P,s__CognitiveAgent)s__and__ms__instance(V__A,s__Album)) s__=>(s__albumArtist(V__A,V__P) s__=>(s__exists__m[V__R,V__M] : (s__instance(V__M,s__Process)s__and__m(s__instance(V__R,s__Recording)s__and__ms__inList(V__R,V__A) s__and__ms__record(V__R,V__M) s__and__ms__agent(V__M,V__P)))))) )	Music.kif 274-281	If a cognitive agent is a performer on an album, then there exist a content bearing object and a process such that the content bearing object is an instance of recording and the content bearing object is a member of the album and the content bearing object is a record of the process and the cognitive agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11682-11692	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and the deontic attribute is equal to obligation or the deontic attribute is equal to promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely
( ! [V__ACTOR,V__VIEWER,V__DRAMA,V__SPEAK] : ((s__instance(V__ACTOR,s__Agent)s__and__ms__instance(V__VIEWER,s__Agent)) s__=>((s__attribute(V__ACTOR,s__VoiceActor)s__and__ms__instance(V__DRAMA,s__DramaticActing)s__and__ms__agent(V__DRAMA,V__ACTOR) s__and__ms__instance(V__SPEAK,s__LinguisticCommunication)s__and__ms__agent(V__SPEAK,V__ACTOR) s__and__ms__subProcess(V__SPEAK,V__DRAMA)) s__=>((s__not__m(s__exists__m[V__S] : (s__instance(V__S,s__Seeing)s__and__ms__patient(V__S,V__ACTOR) s__and__ms__agent(V__S,V__VIEWER)))) s__and__m(s__exists__m[V__H] : (s__instance(V__H,s__Hearing)s__and__ms__patient(V__H,V__ACTOR) s__and__ms__agent(V__H,V__VIEWER)))))) )	Biography.kif 518-537	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there doesn't exist a third process such that the third process is an instance of seeing and the agent is a patient of the third process and another agent is an agent of the third process and there exists a fourth process such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the time interval and the time interval happens before the other time interval, then the time interval has purpose there exist another entity, the other time intervalUHUR and a fourth entity such that the fourth entity is an instance of waking up and the other entity experiences the fourth entity and the other time intervalUHUR is an instance of suhur and the other entity is an agent of the other time intervalUHUR and the fourth entity happens before the other time intervalUHUR and the fourth entity takes place during the time intervalAY and the other time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist an entity and another entity such that the entity is an instance of zakat and a third entity is an instance of year and the third entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the third entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is a fourth entity and the fourth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17696-17709	If an entity is an attribute of an object and the entity is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the entity is an attribute of the object is a patient of the process and the agent believes the object has an attribute the entity holds during the time position
( ! [V__OFFICER,V__COR] : (s__instance(V__OFFICER,s__Agent)s__=>((s__attribute(V__OFFICER,V__COR) s__and__ms__instance(V__COR,s__CommissionedOfficerRank)) s__=>(s__exists__m[V__MANAGE,V__PATIENT] : (s__instance(V__MANAGE,s__Managing)s__and__ms__agent(V__MANAGE,V__OFFICER) s__and__ms__patient(V__MANAGE,V__PATIENT) s__and__m(s__instance(V__PATIENT,s__MilitaryOrganization)s__or__ms__attribute(V__PATIENT,s__Soldier)))))) )	Military.kif 286-297	If an entity is an attribute of an agent and the entity is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 125-134	If muslim is an attribute of an object and the object is capable of doing hajj as a agent, then the statement there exists an entity such that the entity is an instance of hajj and the object is an agent of the entity has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1158-1175	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18259-18280	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent has purpose an entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the other object and the entity ends up at the object and another entity is a patient of the entity and the other entity is an instance of food for human
( ! [V__AGENT,V__CUST,V__ITEM] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)) s__=>((s__buys(V__CUST,V__AGENT,V__ITEM) s__and__ms__instance(V__ITEM,s__Physical)) s__=>(s__exists__m[V__TRANS] : (s__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__ITEM) s__and__ms__agent(V__TRANS,V__CUST) s__and__ms__origin(V__TRANS,V__AGENT))))) )	Mid-level-ontology.kif 28129-28138	If a cognitive agent buys an entity from another cognitive agent and the entity is an instance of physical, then there exists a process such that the process is an instance of buying and the entity is a patient of the process and the cognitive agent is an agent of the process and the process originates at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 151-169	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 653-664	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true
No TPTP formula. May not be expressible in strict first order.	Government.kif 1103-1121	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity is a suffrage age minimum of the nation and the age of the human is the other entity and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-153	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and an entity is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the entity is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another entity is an instance of intentional process and the entity is a patient of the other entity or the entity is a resource for the other entity or the entity is an instrument for the other entity and the other cognitive agent is an agent of the other entity holds during the time of existence of the other cognitive agent is located at a third entity, then there exists another process such that the other process is an instance of corkage and the other cognitive agent is an agent of the other process and the other process ends up at the cognitive agent
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] : ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__X,s__CognitiveAgent)) s__=>((s__customer(V__CUST,V__AGENT) s__and__ms__employs(V__AGENT,V__X) s__and__ms__attribute(V__AGENT,s__TravelerAccommodation)s__and__ms__attribute(V__X,s__Porter)s__and__ms__possesses(V__CUST,V__LUGGAGE) s__and__ms__instance(V__LUGGAGE,s__TravelContainer)) s__=>(s__exists__m[V__ROOM,V__CARRY] : (s__instance(V__ROOM,s__HotelUnit)s__and__ms__instance(V__CARRY,s__Carrying)s__and__ms__agent(V__CARRY,V__X) s__and__m(s__destination(V__CARRY,V__ROOM) s__or__ms__origin(V__CARRY,V__ROOM)))))) )	Hotel.kif 2333-2348	If a cognitive agent is a customer of another cognitive agent and the cognitive agent employs a third cognitive agent and traveler accommodation is an attribute of the cognitive agent and porter is an attribute of the third cognitive agent and the other cognitive agent possesses an object and the object is an instance of travel container, then there exist another object and a process such that the other object is an instance of hotel unit and the process is an instance of carrying and the third cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 477-493	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the cognitive agent allows the other cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity

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	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of the election of ?AGENT and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order.	Government.kif 916-924	For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER if ?COUNTRY is an instance of nation and ?ELECTION is an instance of the election of ?COUNTRY and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then ?VOTER is a citizen of ?COUNTRY contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1069-1078	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then ?AGENT is capable of doing the voting of ?ELECTION as a agent contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order.	Government.kif 1129-1141	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

KB Term:			Term intersection

English Word: