TreeView Knowledge Base Browser - uses

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

uses

Sigma KEE - uses

uses

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2209-2211
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4684-4687
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 873-875
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4681-4681	The number 1 argument of uses is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4682-4682	The number 2 argument of uses is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4680-4680	uses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4679-4679	uses is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 247-247
No TPTP formula. May not be expressible in strict first order.	english_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.	french_format.kif 140-140
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 308-308
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1972-1972
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 92-92
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 317-317
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 344-344
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 159-159
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 145-145
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 500-500
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60854-60854
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60853-60853
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60852-60852
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 102-102

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 847-868	If a kind of physical is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then the object is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 548-563	If use of a kind of physical is free for an agent and a process is an instance of a kind of physical and the agent is a customer of a cognitive agent and the process is an instance of process and the cognitive agent is an agent of the process or the cognitive agent experiences the process or the agent possesses the process and the process is an instance of object and the cognitive agent uses the process, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27740-27752	If an object is an instance of knock light and an agent is an instance of human and deafness is an attribute of the agent and the agent uses the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of impacting and the other entity is a patient of the entity and the other entity is an instance of door and the agent knows the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 879-905	If renters of a kind of hotel function room can pay to use a kind of physical and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then there exist a real number and an unit of measure such that the object is price the real number the unit of measure(s) for the agent and the unit of measure is an instance of unit of currency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 573-593	If renters of an agent can pay to use a kind of physical and a process is an instance of a kind of physical and the agent is a customer of a cognitive agent and the process is an instance of process and the cognitive agent is an agent of the process or the cognitive agent experiences the process or the agent possesses the process and the process is an instance of object and the cognitive agent uses the process, then there exist a real number and an unit of measure such that the process is price the real number the unit of measure(s) for the agent and the unit of measure is an instance of unit of currency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4689-4694	If an agent uses an object, then there exists a process such that the agent is an agent of the process and the object is an instrument for the process

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	If an agent provides an object and the agent is a customer of a cognitive agent and an entity is an instance of the object and the cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the statement the agent allows the cognitive agent to perform task of the type the cognitive agent uses the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24069-24076	If a process is an instance of renting and an agent is an agent of the process and an entity is a patient of the process, then the statement the agent uses the entity has the modal force of permission holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2097-2102	If a computer process is an instance of using a resource and the computer process uses a computer resource and an agent is an agent of the computer process, then the agent uses the computer resource
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1854-1859	If computer user is an attribute of an agent, then there exists an object such that the object is an instance of computer and the agent uses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 991-999	If an object is used by an agent at a time interval, then there exists a process such that the process is an instance of process and the object is a patient of the process and the agent is an agent of the process and the agent uses the object and the time of existence of the process overlaps the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19384-19390	If a physical is an instance of military artifact, then the physical has the purpose there exists an entity such that the entity is an instance of military organization and the entity uses the physical
No TPTP formula. May not be expressible in strict first order.	Military.kif 147-153	If a physical is an instance of military vehicle, then the physical has the purpose there exists an entity such that the entity is an instance of military organization and the entity uses the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4266-4268	If an agent possesses an object, then the statement the agent uses the object has the modal force of permission

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