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 4495-4498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4492-4492	The number 1 argument of uses is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4493-4493	The number 2 argument of uses is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4491-4491	uses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4490-4490	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 251-251
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60826-60826
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 60825-60825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60824-60824

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 820-841	If a class 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 a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 526-541	If use of a class is free for a cognitive agent and an agent is an instance of the class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 850-875	If renters of a kind of hotel function room can pay to use a class and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price a real number an unit of measure(s) for the cognitive agent and the unit of measure is an instance of UnitOfCurrency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 549-568	If renters of a cognitive agent can pay to use a class and an agent is an instance of the class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price a real number an unit of measure(s) for the cognitive agent and the unit of measure is an instance of UnitOfCurrency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4500-4505	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 332-346	If a cognitive agent provides an object and the cognitive agent is a customer of another cognitive agent and an entity is an instance of the object and the other 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 other cognitive agent is an agent of the other entity, then the statement the cognitive agent allows the other cognitive agent to perform task of the type the entity uses the other cognitive agent has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18896-18903	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 entity uses the agent 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 1972-1977	If a computer process is an instance of usingA resource and the computer process uses an agent and another agent is an agent of the computer process, then the agent uses the other agent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1728-1733	If computer user is an attribute of an object, then there exists an agent such that the agent 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 938-946	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 14413-14419	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 137-143	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 4105-4107	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