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

(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 4581-4584
(domain uses 1 Object)	Merge.kif 4578-4578	domain uses, 1 and Object
(domain uses 2 Agent)	Merge.kif 4579-4579	domain uses, 2 and Agent
(instance uses AsymmetricRelation)	Merge.kif 4577-4577	instance uses and AsymmetricRelation
(instance uses BinaryPredicate)	Merge.kif 4576-4576	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 248-248
(termFormat ChineseLanguage uses "使用")	domainEnglishFormat.kif 60827-60827
(termFormat ChineseLanguage uses "用")	chinese_format.kif 248-248
(termFormat ChineseTraditionalLanguage uses "使用")	domainEnglishFormat.kif 60826-60826
(termFormat EnglishLanguage uses "uses")	domainEnglishFormat.kif 60825-60825

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 820-841	freeFunctionRoomAmenity HotelFunctionRoom and Class instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and Class 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 526-541	freePropertyAmenity CognitiveAgent and Class instance Agent and Class 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 (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 25231-25243	instance Object and KnockLight instance Agent and Human attribute Agent and Deaf uses Object and Agent hasPurpose Object and entity entity instance entity and Impacting patient entity and entity instance entity and Door knows Agent and 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 ?CUST ?X)))) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))	Hotel.kif 850-875	paidFunctionRoomAmenity HotelFunctionRoom and Class instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and Class 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 RealNumber and UnitOfMeasure and CognitiveAgent instance UnitOfMeasure and UnitOfCurrency greaterThan RealNumber and 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 ?CUST ?X)))) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))	Hotel.kif 549-568	paidPropertyAmenity CognitiveAgent and Class instance Agent and Class 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 RealNumber and UnitOfMeasure and CognitiveAgent instance UnitOfMeasure and UnitOfCurrency greaterThan RealNumber and 0
(=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ))))	Merge.kif 4586-4591	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 21906-21913	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 1971-1976	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 959-967	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 17249-17255	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 4169-4171	possesses Agent and Object modalAttribute uses Object and Agent and 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