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


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 4498-4501
s__domain(s__uses__m,n__1,s__Object)

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

Merge.kif 4496-4496 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 4494-4494 uses is an instance of asymmetric relation
s__instance(s__uses__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 4493-4493 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 24246-24258
( ! [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 4503-4508

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 20931-20938
( ! [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 938-946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16289-16295
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 4108-4110


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