uses - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - uses

uses

appearance as argument number 1

(documentation uses ChineseLanguage "(uses ?OBJECT AGENT) 的意思是 ?AGENT 在一个没有指定的 Process 所用的工具是 ?OBJECT，这个 Predicate 就如它的定义所说的，由CaseRole、agent 和 instrument 构成。")	chinese_format.kif 2209-2211
(documentation uses EnglishLanguage "(uses ?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified Process. This Predicate, as its corresponding axiom indicates, is a composition of the CaseRoles agent and instrument.")	Merge.kif 4481-4484
(domain uses 1 Object)	Merge.kif 4478-4478	The number 1 argument of uses is an instance of object
(domain uses 2 Agent)	Merge.kif 4479-4479	The number 2 argument of uses is an instance of agent
(instance uses AsymmetricRelation)	Merge.kif 4477-4477	uses is an instance of asymmetric relation
(instance uses BinaryPredicate)	Merge.kif 4476-4476	uses is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage uses "%2 %n{doesn't} uses %1")	chinese_format.kif 247-247
(format EnglishLanguage uses "%2 %n{doesn't} use%p{s} %1")	english_format.kif 251-251
(termFormat ChineseLanguage uses "使用")	domainEnglishFormat.kif 60768-60768
(termFormat ChineseLanguage uses "用")	chinese_format.kif 248-248
(termFormat ChineseTraditionalLanguage uses "使用")	domainEnglishFormat.kif 60767-60767
(termFormat EnglishLanguage uses "uses")	domainEnglishFormat.kif 60766-60766

antecedent

(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 814-835	If a set or 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 set or 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
(=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 522-537	If use of a set or class is free for a cognitive agent and an agent is an instance of the set or 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
(=> (and (paidFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?CUST ?X)))) (and (price ?X ?PRICE ?AGENT) (greaterThan ?PRICE (MeasureFn 0 UnitedStatesDollar))))	Hotel.kif 844-867	If renters of a kind of hotel function room can pay to use a set or 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 set or 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 currency measure for the cognitive agent and the currency measure is greater than 0 united states dollar(s)
(=> (and (paidPropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?CUST ?X)))) (and (price ?X ?PRICE ?AGENT) (greaterThan ?PRICE (MeasureFn 0 UnitedStatesDollar))))	Hotel.kif 545-562	If renters of a cognitive agent can pay to use a set or class and an agent is an instance of the set or 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 currency measure for the cognitive agent and the currency measure is greater than 0 united states dollar(s)
(=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ))))	Merge.kif 4486-4491	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

(=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight (uses ?CUST ?X) ?AGENT ?CUST) Possibility))	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
(=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?A ?O) Permission)))	Mid-level-ontology.kif 20359-20366	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
(=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Agent ?Resource))	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
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?User ?Computer))))	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
(=> (dateUsed ?OBJECT ?DATE ?AGENT) (exists (?PROCESS) (and (instance ?PROCESS Process) (patient ?PROCESS ?OBJECT) (agent ?PROCESS ?AGENT) (uses ?OBJECT ?AGENT) (overlapsTemporally ?DATE (WhenFn ?PROCESS)))))	Mid-level-ontology.kif 1385-1393	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
(=> (instance ?A MilitaryArtifact) (hasPurpose ?A (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?A ?O)))))	Mid-level-ontology.kif 15475-15481	If a physical is an instance of military artifact, then the physical purpose there exists an entity such that the entity is an instance of military organization and the entity uses the physical
(=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O)))))	Military.kif 137-143	If a physical is an instance of military vehicle, then the physical purpose there exists an entity such that the entity is an instance of military organization and the entity uses the physical
(=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission))	Merge.kif 4093-4095	If an agent possesses an object, then the statement the agent uses the object has the modal force of permission

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