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 4684-4687
(documentation uses JapaneseLanguage "(uses ?OBJECT AGENT) とは、?OBJECTが　?AGENT によって不特定の Process の計測器として使用される、という意味である。この Predicate は、その対応する公理が示すように、 CaseRoles agent および instrument の組成物である。")	japanese_format.kif 873-875
(domain uses 1 Object)	Merge.kif 4681-4681	The number 1 argument of uses is an instance of object
(domain uses 2 AutonomousAgent)	Merge.kif 4682-4682	The number 2 argument of uses is an instance of agent
(instance uses AsymmetricRelation)	Merge.kif 4680-4680	uses is an instance of asymmetric relation
(instance uses BinaryPredicate)	Merge.kif 4679-4679	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 60854-60854
(termFormat ChineseLanguage uses "用")	chinese_format.kif 248-248
(termFormat ChineseTraditionalLanguage uses "使用")	domainEnglishFormat.kif 60853-60853
(termFormat EnglishLanguage uses "uses")	domainEnglishFormat.kif 60852-60852
(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 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
(=> (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 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
(=> (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 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
(=> (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 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
(=> (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 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
(=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ))))	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

(=> (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 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
(=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Resource ?Agent))	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
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?Computer ?User))))	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
(=> (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 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
(=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O)))))	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
(=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission))	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 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