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
-------------------------


s__documentation(s__uses__m,s__ChineseLanguage,'"(uses ?OBJECT AGENT) 的意思是 ?AGENT 在一个没有指定的 Process 所用的工具是 ?OBJECT,这个 Predicate 就如它的定义所说的,由CaseRoleagentinstrument 构成。"')

chinese_format.kif 2209-2211
s__documentation(s__uses__m,s__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 4531-4534
s__domain(s__uses__m,n__1,s__Object)

Merge.kif 4528-4528 The number 1 argument of uses is an instance of object
s__domain(s__uses__m,n__2,s__Agent)

Merge.kif 4529-4529 The number 2 argument of uses is an instance of agent
s__instance(s__uses__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 4527-4527 uses is an instance of asymmetric relation
s__instance(s__uses__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 4526-4526 uses is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__uses__m,'"%2 %n{doesnt} uses %1"')

chinese_format.kif 247-247
s__format(s__EnglishLanguage,s__uses__m,'"%2 %n{doesnt} use%p{s} %1"')

english_format.kif 251-251
s__termFormat(s__ChineseLanguage,s__uses__m,'"使用"')

domainEnglishFormat.kif 60827-60827
s__termFormat(s__ChineseLanguage,s__uses__m,'"用"')

chinese_format.kif 248-248
s__termFormat(s__ChineseTraditionalLanguage,s__uses__m,'"使用"')

domainEnglishFormat.kif 60826-60826
s__termFormat(s__EnglishLanguage,s__uses__m,'"uses"')

domainEnglishFormat.kif 60825-60825

antecedent
-------------------------


( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
( ! [V__AGENT,V__CUST,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freePropertyAmenity(V__AGENT,V__PHYS)
           &
           s__instance(V__X,V__PHYS)
         &
         s__customer(V__CUST,V__AGENT)
       &
       ((s__instance(V__X,s__Process) &
           (s__agent(V__X,V__CUST)
           |
           s__experiencer(V__X,V__CUST)))
     |
     (s__possesses(V__AGENT,V__X)
     &
     s__instance(V__X,s__Object) &
     s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24877-24889
( ! [V__AGENT,V__R,V__CUST,V__PRICE,V__U,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__paidFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
((s__price(V__X,s__MeasureFn(V__PRICE,V__U)
,V__AGENT)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))
)
)

Hotel.kif 850-875
( ! [V__AGENT,V__CUST,V__PRICE,V__U,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__paidPropertyAmenity(V__AGENT,V__PHYS)
           &
           s__instance(V__X,V__PHYS)
         &
         s__customer(V__CUST,V__AGENT)
       &
       ((s__instance(V__X,s__Process) &
           (s__agent(V__X,V__CUST)
           |
           s__experiencer(V__X,V__CUST)))
     |
     (s__possesses(V__AGENT,V__X)
     &
     s__instance(V__X,s__Object) &
     s__uses(V__CUST,V__X))))
=>
((s__price(V__X,s__MeasureFn(V__PRICE,V__U)
,V__AGENT)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))
)
)

Hotel.kif 549-568
( ! [V__AGENT,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__uses(V__OBJ,V__AGENT)
         =>
         (( ? [V__PROC] :
             ((s__instance(V__PROC,s__Process) &
                 (s__agent(V__PROC,V__AGENT)
                 &
                 s__instrument(V__PROC,V__OBJ)))))))))
)
)

Merge.kif 4536-4541

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21549-21556
( ! [V__Resource,V__Using,V__Agent] :
   (((s__instance(V__Resource,s__Agent) &
         s__instance(V__Resource,s__ComputerResource) &
         s__instance(V__Agent,s__Agent))
       =>
       (((s__instance(V__Using,s__UsingAResource) &
             s__resourceUsed(V__Using,V__Resource)
           &
           s__agent(V__Using,V__Agent))
       =>
       (s__uses(V__Agent,V__Resource)))))
)
)

QoSontology.kif 1972-1977
( ! [V__User] :
   ((s__instance(V__User,s__Object) =>
       ((s__attribute(V__User,s__ComputerUser) =>
           (( ? [V__Computer] :
               ((s__instance(V__Computer,s__Computer) &
                   s__uses(V__User,V__Computer))))))))
   )
)

QoSontology.kif 1728-1733
( ! [V__AGENT,V__OBJECT,V__DATE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__DATE,s__TimeInterval) &
         s__instance(V__DATE,s__TimePoint))
       =>
       ((s__dateUsed(V__OBJECT,V__DATE,V__AGENT)
         =>
         (( ? [V__PROCESS] :
             ((s__instance(V__PROCESS,s__Process) &
                 s__patient(V__PROCESS,V__OBJECT)
               &
               s__agent(V__PROCESS,V__AGENT)
             &
             s__uses(V__OBJECT,V__AGENT)
           &
           s__overlapsTemporally(V__DATE,s__WhenFn(V__PROCESS)))))))))
)
)

Mid-level-ontology.kif 939-947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16906-16912
No TPTP formula. May not be expressible in strict first order. Military.kif 137-143
No TPTP formula. May not be expressible in strict first order. Merge.kif 4141-4143


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