| 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 4494-4497 | |
| (domain uses 1 Object) | Merge.kif 4491-4491 | |
| (domain uses 2 Agent) | Merge.kif 4492-4492 | |
| (instance uses AsymmetricRelation) | Merge.kif 4490-4490 | |
| (instance uses BinaryPredicate) | Merge.kif 4489-4489 |
| 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 60844-60844 | |
| (termFormat ChineseLanguage uses "用") | chinese_format.kif 248-248 | |
| (termFormat ChineseTraditionalLanguage uses "使用") | domainEnglishFormat.kif 60843-60843 | |
| (termFormat EnglishLanguage uses "uses") | domainEnglishFormat.kif 60842-60842 |
| 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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ)))) |
Merge.kif 4499-4504 |
| 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 | |
| (=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?A ?O) Permission))) |
Mid-level-ontology.kif 20365-20372 | |
| (=> (and (instance ?Using UsingAResource) (resourceUsed ?Using ?Resource) (agent ?Using ?Agent)) (uses ?Agent ?Resource)) |
QoSontology.kif 1972-1977 | |
| (=> (attribute ?User ComputerUser) (exists (?Computer) (and (instance ?Computer Computer) (uses ?User ?Computer)))) |
QoSontology.kif 1728-1733 | |
| (=> (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 | |
| (=> (instance ?A MilitaryArtifact) (hasPurpose ?A (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?A ?O))))) |
Mid-level-ontology.kif 15477-15483 | |
| (=> (instance ?V MilitaryVehicle) (hasPurpose ?V (exists (?O) (and (instance ?O MilitaryOrganization) (uses ?V ?O))))) |
Military.kif 137-143 | |
| (=> (possesses ?PERSON ?OBJ) (modalAttribute (uses ?OBJ ?PERSON) Permission)) |
Merge.kif 4104-4106 |
|
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