TreeView Knowledge Base Browser - Getting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Getting

Getting(getting)

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, conquest, cozen...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3086-3087
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11777-11779
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1857-1858
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11775-11775	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 receiving an object fn are subclasses of getting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11803-11803	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 11787-11787	Unilateral getting is a subclass of getting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1136-1136
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1489-1489
No TPTP formula. May not be expressible in strict first order.	french_format.kif 814-814
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 346-346
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 349-349
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2498-2498
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 766-766
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 351-351
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 385-385
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 835-835
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 350-350

antecedent

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

Merge.kif 11781-11785

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 16200-16212	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11673-11685	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 610-627	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 274-291	If a collection is an instance of buffet and a physical is a member of the collection and the collection is located at an object and a process is an instance of eating and an agent is an agent of the process and the process is located at another object and the physical is a patient of the process, then the object is not equal to the other object and there exists another process such that the other process is an instance of getting and the physical is a patient of the other process and the other process originates at the 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 1357-1373	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 1827-1848	If a process is an instance of valet laundry, then there exist a human, an agent,, , a temporary residence,, , an entity,, , another process,, , a third process and a fourth process such that the agent is a customer of the human and the human stays at the temporary residence and the 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 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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners