Carrying - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Carrying

Carrying(carrying)

bear, carry, empty-handed, lift, pack, take

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3029-3030
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11503-11504
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1797-1798
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11501-11501	Carrying is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13365-13365
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13364-13364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13363-13363

antecedent

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

Merge.kif 11506-11511

If a process is an instance of carrying,
then there exists an object such that the object is an instance of animal and the object is an instrument for the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22235-22257	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2403-2418	If an agent is a customer of a cognitive agent and the agent employs another cognitive agent and traveler accommodation is an attribute of the agent and porter is an attribute of the other cognitive agent and the 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 other 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 2394-2401	If porter is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of travel container and the other entity is an instance of carrying and the object is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4807-4816	If a process is an instance of animal guiding, then there exist an agent, a transfer and another agent such that the agent is an instance of animal and the other agent is an agent of the process and the transfer is an instance of carrying and the agent is an agent of the transfer and the object transferred in the transfer is the other agent and the agent is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27171-27176	If an entity is an instance of fire extinguisher, then there exists an object such that the object is an instance of human and the object is capable of doing carrying as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1819-1827	If an object is an instance of artillery gun, then there don't exist another object and a transfer such that the other object is an instance of human and the transfer is an instance of carrying and the other object is an instrument for the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1854-1870	If a physical is an instance of firearm, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is a subclass of carrying and the third entity is an instance of the other entity and the object transferred in the third entity is the physical and the entity is capable of doing the other entity as a instrument and there doesn't exist the entity2 such that the entity2 is an instance of human and the entity is not equal to the entity2 and the entity2 is an instrument for the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4537-4539	If an object is an instance of hand tool, then the object is capable of doing carrying as a object transferred
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31212-31220	If a physical is an instance of portable computer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of carrying and the other entity is an instance of human and the physical is a patient of the entity and the other entity is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4788-4799	If an object is an instance of saddle, then there exists a symbolic string such that the object is capable of doing the class described by the symbolic string as a instrument

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