Getting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Getting

Getting(getting)

Obter, Ottenere, absorb, abstract, accept, acceptance, acceptation, accession, accessional, accrue, acquire, acquired, acquiring, acquisition, addition, admit, adoption, aggregate, allot, ancestral, annexation, annexational, appropriation, appropriative, arrogate, assign, assume, assumption, attained, avail, benefit, borrowing, bosom, bring_home, bring_in, buy_out, buy_up, cabbage, cadge, call_for, carjack, carry-the_can, catch, clawback, clear, collect, combine, come_by, come_into, come_up...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11589-11590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11586-11588
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11585-11585	Getting is a subclass of change of possession

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 185-185	The values returned by ReceivingAnObjectFn are subclasses of getting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11616-11616	Borrowing is a subclass of getting
No TPTP formula. May not be expressible in strict first order.	Military.kif 51-51	Food distribution operation is a subclass of getting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11598-11598	Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1136-1136	"获得" is the printable form of getting in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 823-823	"getting" is the printable form of getting in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 814-814	"obtenir" is the printable form of getting in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 346-346	"praapwi" is the printable form of getting in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 347-347	"Ottenere" is the printable form of getting in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 766-766	"Obter" is the printable form of getting in portuguese language
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 351-351	"pagkuha" is the printable form of getting in cb
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 385-385	"getting" is the printable form of getting in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 350-350	"pagkuha" is the printable form of getting in tg

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11592-11596

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 13587-13598	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 an agent is an agent of the process, then the entity allows the agent to perform task of the type there exist another process, a physical and a currency measure such that the other process is an instance of getting and the agent experiences the other process and the physical is a patient of the other process and value of the physical is the currency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11488-11500	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 568-585	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 277-294	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1345-1361	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 is a part of the organization the military organization 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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1771-1792	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