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)

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 11020-11022
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11018-11018	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 11046-11046	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 11030-11030	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 1494-1494

antecedent

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

Merge.kif 11024-11028

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 12902-12914	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 10928-10940	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 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
No TPTP formula. May not be expressible in strict first order.	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
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 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 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 1789-1810	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 3.0 is open source software produced by Articulate Software and its partners