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 4350-4353
(domain uses 1 Object)	Merge.kif 4347-4347	domain uses, 1 and Object
(domain uses 2 Agent)	Merge.kif 4348-4348	domain uses, 2 and Agent
(instance uses AsymmetricRelation)	Merge.kif 4346-4346	instance uses and AsymmetricRelation
(instance uses BinaryPredicate)	Merge.kif 4345-4345	instance uses and BinaryPredicate

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 60805-60805	termFormat ChineseLanguage, uses and "使用"
(termFormat ChineseLanguage uses "用")	chinese_format.kif 248-248	termFormat ChineseLanguage, uses and "用"
(termFormat ChineseTraditionalLanguage uses "使用")	domainEnglishFormat.kif 60804-60804	termFormat ChineseTraditionalLanguage, uses and "使用"
(termFormat EnglishLanguage uses "uses")	domainEnglishFormat.kif 60803-60803	termFormat EnglishLanguage, uses and "uses"

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	freeFunctionRoomAmenity HotelFunctionRoom and SetOrClass instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and SetOrClass possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (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	freePropertyAmenity CognitiveAgent and SetOrClass instance Agent and SetOrClass customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (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	paidFunctionRoomAmenity HotelFunctionRoom and SetOrClass instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and SetOrClass possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, CurrencyMeasure and CognitiveAgent greaterThan CurrencyMeasure and MeasureFn 0 and UnitedStatesDollar
(=> (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	paidPropertyAmenity CognitiveAgent and SetOrClass instance Agent and SetOrClass customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, CurrencyMeasure and CognitiveAgent greaterThan CurrencyMeasure and MeasureFn 0 and UnitedStatesDollar
(=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ))))	Merge.kif 4355-4360	uses Object and Agent Process agent Process and Agent instrument Process and Object

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	facility CognitiveAgent and Object customer CognitiveAgent and CognitiveAgent instance Entity and Object desires CognitiveAgent and entity instance entity and IntentionalProcess patient entity and Entity agent entity and CognitiveAgent modalAttribute confersRight uses CognitiveAgent and Entity, CognitiveAgent and CognitiveAgent and Possibility
(=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?A ?O) Permission)))	Mid-level-ontology.kif 20322-20329	instance Process and Renting agent Process and Agent patient Process and Entity holdsDuring WhenFn Process and modalAttribute uses Agent and Entity and Permission
(=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Agent ?Resource))	QoSontology.kif 1972-1977	instance ComputerProcess and UsingAResource resourceUsed ComputerProcess and Agent agent ComputerProcess and Agent uses Agent and Agent
(=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?User ?Computer))))	QoSontology.kif 1728-1733	attribute Object and ComputerUser Agent instance Agent and Computer uses Object and Agent
(=> (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 1379-1387	dateUsed Object, TimeInterval and Agent Process instance Process and Process patient Process and Object agent Process and Agent uses Object and Agent overlapsTemporally TimeInterval and WhenFn Process
(=> (instance ?A MilitaryArtifact) (hasPurpose ?A (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?A ?O)))))	Mid-level-ontology.kif 15449-15455	instance Physical and MilitaryArtifact hasPurpose Physical and entity instance entity and MilitaryOrganization uses Physical and entity
(=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O)))))	Military.kif 137-143	instance Physical and MilitaryVehicle hasPurpose Physical and entity instance entity and MilitaryOrganization uses Physical and entity
(=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission))	Merge.kif 3970-3972	possesses Agent and Object modalAttribute uses Object and Agent and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners