Getting - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Getting,s__ChineseLanguage,'"这是 ChangeOfPossession 的 subclass，这是在当 agent 得到一些东西。注：可以用 CaseRole 的 origin 来指定所得到东西的来源。"')

chinese_format.kif 3086-3087

s__documentation(s__Getting,s__EnglishLanguage,'"The subclass of ChangeOfPossession where the agent gets something. Note that the source from which something is obtained is specified with the origin CaseRole."')

Merge.kif 10955-10957

s__subclass(s__Getting,s__ChangeOfPossession)

s__instance(s__Getting,s__SetOrClass)

s__instance(s__ChangeOfPossession,s__SetOrClass)

Merge.kif 10953-10953

Getting is a subclass of change of possession

appearance as argument number 2

s__rangeSubclass(s__ReceivingAnObjectFn__m,s__Getting)	Media.kif 185-185	The values returned by ReceivingAnObjectFn are subclasses of getting
s__instance(s__Borrowing,s__SetOrClass) s__subclass(s__Borrowing,s__Getting) s__instance(s__Getting,s__SetOrClass)	Merge.kif 10981-10981	Borrowing is a subclass of getting
s__subclass(s__FoodDistributionOperation,s__Getting) s__instance(s__FoodDistributionOperation,s__SetOrClass) s__instance(s__Getting,s__SetOrClass)	Military.kif 51-51	Food distribution operation is a subclass of getting
s__instance(s__UnilateralGetting,s__SetOrClass) s__subclass(s__UnilateralGetting,s__Getting) s__instance(s__Getting,s__SetOrClass)	Merge.kif 10965-10965	Unilateral getting is a subclass of getting
s__termFormat(s__ChineseLanguage,s__Getting,'"获得"')	chinese_format.kif 1136-1136
s__termFormat(s__EnglishLanguage,s__Getting,'"getting"')	english_format.kif 1494-1494

antecedent

( ! [V__AGENT,V__GET] :
   (s__instance(V__AGENT,s__Agent) =>
     (s__instance(V__GET,s__Getting) &
       s__agent(V__GET,V__AGENT))
   =>
   s__destination(V__GET,V__AGENT)
)
)

Merge.kif 10959-10963

If a process is an instance of getting and an agent is an agent of the process,
then the process ends up at the agent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13847-13859	If an entity is an instance of legal award and the entity includes a reference to a process and the process is an instance of legal action and a cognitive agent is an agent of the process, then the entity allows the cognitive agent to perform task of the type there exist another entity, a third entity and a fourth entity such that the other entity is an instance of getting and the cognitive agent experiences the other entity and the third entity is a patient of the other entity and value of the third entity is the fourth entity
( ! [V__AGENT2,V__OBJ,V__AGENT1,V__GIVE] : (s__instance(V__AGENT1,s__Agent) => (s__instance(V__GIVE,s__Giving) & s__agent(V__GIVE,V__AGENT1) & s__destination(V__GIVE,V__AGENT2) & s__instance(V__AGENT2,s__Agent) & s__patient(V__GIVE,V__OBJ)) => ( ? [V__GET] : ((s__instance(V__GET,s__Getting) & s__agent(V__GET,V__AGENT2) & s__origin(V__GET,V__AGENT1) & s__patient(V__GET,V__OBJ)))) ) )	Merge.kif 10863-10875	If a process is an instance of giving and an agent is an agent of the process and the process ends up at another agent and the other agent is an instance of agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of getting and the other agent is an agent of the other process and the other process originates at the agent and the entity is a patient of the other process
( ! [V__AGENT,V__P,V__CUST,V__FOOD] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__CUST,s__Agent)) => (s__instance(V__P,s__FoodPickup) & s__agent(V__P,V__AGENT) & s__destination(V__P,V__CUST) & s__patient(V__P,V__FOOD)) => (s__instance(V__FOOD,s__FoodForFn(s__Human)) & ( ? [V__LOC, V__T, V__G] : ((s__instance(V__LOC,s__Object) & (s__located(V__AGENT,V__LOC) & s__instance(V__T,s__Translocation) & s__agent(V__T,V__CUST) & s__destination(V__T,V__LOC) & s__instance(V__G,s__Getting) & s__origin(V__G,V__AGENT) & s__destination(V__G,V__CUST) & s__patient(V__G,V__FOOD)))))) ) )	Dining.kif 564-581	If a process is an instance of food pickup and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process, then the entity is an instance of food for human and there exist an object, another process and a third process such that the agent is located at the object and the other process is an instance of translocation and the other agent is an agent of the other process and the other process ends up at the object and the third process is an instance of getting and the third process originates at the agent and the third process ends up at the other agent and the entity is a patient of the third process
( ! [V__AGENT,V__E,V__ITEM,V__X,V__LOC2,V__LOC1] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__ITEM,s__Object) & s__instance(V__LOC1,s__Object)) => (s__instance(V__X,s__Buffet) & s__member(V__ITEM,V__X) & s__located(V__X,V__LOC1) & s__instance(V__E,s__Eating) & s__agent(V__E,V__AGENT) & s__eventLocated(V__E,V__LOC2) & s__patient(V__E,V__ITEM)) => (~((V__LOC1 = V__LOC2)) & ( ? [V__G] : ((s__instance(V__G,s__Getting) & s__patient(V__G,V__ITEM) & s__origin(V__G,V__LOC1) & s__agent(V__G,V__AGENT) & s__before(s__WhenFn(V__G) ,s__WhenFn(V__E)))))) ) )	Dining.kif 270-287	If a collection is an instance of buffet and an object is a member of the collection and the collection is located at another object and a process is an instance of eating and an agent is an agent of the process and the process is located at 2 and the object is a patient of the process, then the other object is not equal to an entity and there exists another process such that the other process is an instance of getting and the object is a patient of the other process and the other process originates at the other object and the agent is an agent of the other process and the time of existence of the other process happens before the time of existence of the process
( ! [V__FD] : (s__instance(V__FD,s__FoodDistributionOperation) => ( ? [V__GI, V__GE] : ((s__instance(V__GE,s__Process) & (s__instance(V__GI,s__Giving) & s__instance(V__GI,s__Getting) & s__subProcess(V__GI,V__FD) & s__subProcess(V__GE,V__FD))))) ) )	Military.kif 53-60	If a process is an instance of food distribution operation, then there exist another process and a third process such that the other process is an instance of giving and the other process is an instance of getting and the other process is a subprocess of the process and the third process is a subprocess of the process
( ! [V__HN] : (s__instance(V__HN,s__HostNation) => ( ? [V__GETTING, V__FORCES, V__OTHERNATION, V__MILITARY] : ((s__instance(V__OTHERNATION,s__Nation) & s__instance(V__MILITARY,s__MilitaryForce) & s__militaryOfArea(V__MILITARY,V__OTHERNATION) & s__subOrganization(V__FORCES,V__MILITARY) & ~((V__HN = V__OTHERNATION)) & ~(s__enemy(V__HN,V__OTHERNATION)) & s__instance(V__GETTING,s__Getting) & s__agent(V__GETTING,V__HN) & s__patient(V__GETTING,V__FORCES) & s__instance(V__FORCES,s__MilitaryForce) & s__located(V__FORCES,V__HN)))) ) )	MilitaryProcesses.kif 1356-1372	If an agent is an instance of host nation, then there exist a process, an organization,, , a geopolitical area and a military organization such that the geopolitical area is an instance of nation and the military organization is an instance of military force and the geopolitical area is a military of area of the military organization and the organization は組織 the military organization の一部では %n and the agent is not equal to the geopolitical area and the agent and the geopolitical area are not enemies of each other and the process is an instance of getting and the agent is an agent of the process and the organization is a patient of the process and the organization is an instance of military force and the organization is located at the agent
( ! [V__SVC] : (s__instance(V__SVC,s__ValetLaundryService) => ( ? [V__CUST, V__AGENT, V__LOC, V__CLOTHES, V__LAUNDRY, V__PICKUP, V__DELIVERY] : ((s__instance(V__CUST,s__Human) & s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__LOC,s__TemporaryResidence) & (s__customer(V__CUST,V__AGENT) & s__stays(V__CUST,V__LOC) & s__agent(V__SVC,V__AGENT) & s__instance(V__CLOTHES,s__Clothing) & s__instance(V__PICKUP,s__Getting) & s__located(V__PICKUP,V__LOC) & s__patient(V__PICKUP,V__CLOTHES) & s__agent(V__PICKUP,V__AGENT) & (s__instance(V__LAUNDRY,s__LaundryService) \| s__instance(V__LAUNDRY,s__DryCleaningService)) & s__agent(V__LAUNDRY,V__AGENT) & s__patient(V__LAUNDRY,V__CLOTHES) & s__instance(V__DELIVERY,s__DeliveryService) & s__patient(V__DELIVERY,V__CLOTHES) & s__destination(V__DELIVERY,V__LOC) & s__before(s__BeginFn(s__WhenFn(V__PICKUP)) ,s__BeginFn(s__WhenFn(V__LAUNDRY))) & s__before(s__BeginFn(s__WhenFn(V__LAUNDRY)) ,s__BeginFn(s__WhenFn(V__DELIVERY))))))) ) )	Hotel.kif 1775-1796	If a process is an instance of valet laundry, then there exist a human, a cognitive agent,, , a temporary residence,, , an entity,, , another process,, , a third process and a fourth process such that the cognitive agent is a customer of the human and the human stays at the temporary residence and the cognitive agent is an agent of the process and the entity is an instance of clothing and the third process is an instance of getting and the third process is located at the temporary residence and the entity is a patient of the third process and the cognitive agent is an agent of the third process and the other process is an instance of laundry service or the other process is an instance of dry-clean and the cognitive agent is an agent of the other process and the entity is a patient of the other process and the fourth process is an instance of delivery service and the entity is a patient of the fourth process and the fourth process ends up at the temporary residence and the beginning of the time of existence of the third process happens before the beginning of the time of existence of the other process and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the fourth process

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: