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 4669-4672
(documentation uses JapaneseLanguage "(uses ?OBJECT AGENT) とは、?OBJECTが　?AGENT によって不特定の Process の計測器として使用される、という意味である。この Predicate は、その対応する公理が示すように、 CaseRoles agent および instrument の組成物である。")	japanese_format.kif 873-875
(domain uses 1 Object)	Merge.kif 4666-4666	The number 1 argument of uses is an instance of object
(domain uses 2 AutonomousAgent)	Merge.kif 4667-4667	The number 2 argument of uses is an instance of agent
(instance uses AsymmetricRelation)	Merge.kif 4665-4665	uses is an instance of asymmetric relation
(instance uses BinaryPredicate)	Merge.kif 4664-4664	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 248-248
(format FrenchLanguage uses "%2 %n{n'} utilise %n{pas} %1")	french_format.kif 140-140
(format ItalianLanguage uses "%2 usa %1")	relations-it.txt 308-308
(format JapaneseLanguage uses "%2 は %1 を use%p{s} %n{ない}")	japanese_format.kif 1972-1972
(format PortugueseLanguage uses "%2 %n{nao} usa %n %1")	portuguese_format.kif 92-92
(format de uses "%2 verwendet %1")	relations-de.txt 317-317
(format hi uses "%2 %1 kaa upayoga karataa hai")	relations-hindi.txt 344-344
(format ro uses "%2 %n{nu} use%t{foloseºte} %1")	relations-ro.kif 159-159
(format sv uses "%2 använder %n{inte} %1")	relations-sv.txt 145-145
(format tg uses "%2 ay gamitin %1")	relations-tg.txt 500-500
(termFormat ChineseLanguage uses "使用")	domainEnglishFormat.kif 60885-60885
(termFormat ChineseLanguage uses "用")	chinese_format.kif 248-248
(termFormat ChineseTraditionalLanguage uses "使用")	domainEnglishFormat.kif 60884-60884
(termFormat EnglishLanguage uses "uses")	domainEnglishFormat.kif 60883-60883
(termFormat de uses "verwendet")	terms-de.txt 102-102

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 ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 841-862	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
(=> (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 ?X ?CUST)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 546-561	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
(=> (and (instance ?KL KnockLight) (instance ?A Human) (attribute ?A Deaf) (uses ?KL ?A)) (hasPurpose ?KL (exists (?KNOCK ?DOOR) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door) (knows ?A ?KNOCK)))))	Mid-level-ontology.kif 26136-26148	If an object is an instance of knock light and an agent is an instance of human and deaf 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
(=> (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 ?X ?CUST)))) (exists (?PRICE ?U) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 871-897	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
(=> (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 ?X ?CUST)))) (exists (?PRICE ?U) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 569-589	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
(=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ))))	Merge.kif 4674-4679	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 ?X ?CUST) ?AGENT ?CUST) Possibility))	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
(=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?O ?A) Permission)))	Mid-level-ontology.kif 22741-22748	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
(=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Resource ?Agent))	QoSontology.kif 2072-2077	If a computer process is an instance of usingA 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
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User))))	QoSontology.kif 1829-1834	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
(=> (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 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
(=> (instance ?A MilitaryArtifact) (hasPurpose ?A (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?A ?O)))))	Mid-level-ontology.kif 18123-18129	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
(=> (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 has the 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 4253-4255	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