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

VerbNet: bring-11.3|take, put_direction-9.4|lift, bring-11.3|take, bring-11.3|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 10568-10569
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 38-38
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10566-10566	Carrying is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13285-13285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13284-13284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13283-13283

antecedent

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

Merge.kif 10571-10576

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 18313-18334	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent purpose an entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the other object and the entity ends up at the object and another 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 2338-2353	If a cognitive agent is a customer of another cognitive agent and the cognitive agent employs a third cognitive agent and traveler accommodation is an attribute of the cognitive agent and porter is an attribute of the third cognitive agent and the other 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 third 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 2329-2336	If porter is an attribute of an object, then the object 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 4819-4828	If a process is an instance of AnimalGuiding, then there exist an agent and a transfer such that the agent is an instance of animal and another 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 23466-23473	If an entity is an instance of fire extinguisher, then there exist an object and a kind of process such that the object is an instance of human and a kind of process is an instance of carrying and the entity is a patient of the kind of process and the object is capable of doing the kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4449-4451	If an object is an instance of hand tool, then the object is capable of doing carrying as a objectTransferred
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27761-27769	If a physical is an instance of PortableComputer, then the physical 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 4801-4811	If an object is an instance of saddle, then the object is capable of doing the class described by a 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners