Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - buys
buys

appearance as argument number 1
-------------------------


s__documentation(s__buys__m,s__EnglishLanguage,'"(buys ?CUST ?AGENT ?ENT) means that Agent ?CUST performs Buying of Entity ?ENT from Agent ?AGENT"')

Mid-level-ontology.kif 28377-28378
s__domain(s__buys__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 28381-28381 The number 1 argument of buys is an instance of cognitive agent
s__domain(s__buys__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 28382-28382 The number 2 argument of buys is an instance of cognitive agent
s__domain(s__buys__m,n__3,s__Entity)

Mid-level-ontology.kif 28383-28383 The number 3 argument of buys is an instance of entity
s__instance(s__buys__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 28376-28376 buys is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__buys__m,'"%1 buys %3 从 %2"')

domainEnglishFormat.kif 2947-2947
s__format(s__ChineseTraditionalLanguage,s__buys__m,'"%1 buys %3 從 %2"')

domainEnglishFormat.kif 2946-2946
s__format(s__EnglishLanguage,s__buys__m,'"%1 buys %3 from %2"')

domainEnglishFormat.kif 2945-2945
s__termFormat(s__EnglishLanguage,s__buys__m,'"buys"')

Mid-level-ontology.kif 28379-28379

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


( ! [V__AGENT,V__CUST,V__ITEM] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       (((s__buys(V__CUST,V__AGENT,V__ITEM)
           &
           s__instance(V__ITEM,s__Physical))
         =>
         (( ? [V__TRANS] :
             ((s__instance(V__TRANS,s__Buying) &
                 s__patient(V__TRANS,V__ITEM)
               &
               s__agent(V__TRANS,V__CUST)
             &
             s__origin(V__TRANS,V__AGENT))))))))
)
)

Mid-level-ontology.kif 28385-28394
( ! [V__AGENT,V__CUST,V__ITEM] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       (((s__buys(V__CUST,V__AGENT,V__ITEM)
           &
           s__instance(V__ITEM,s__Proposition))
         =>
         (( ? [V__TRANS, V__PROC] :
             ((s__instance(V__PROC,s__Process) &
                 (s__agent(V__TRANS,V__CUST)
                 &
                 s__realization(V__PROC,V__ITEM)
               &
               s__instance(V__TRANS,s__Buying) &
               s__patient(V__TRANS,V__PROC)
             &
             s__origin(V__TRANS,V__AGENT)))))))))
)
)

Mid-level-ontology.kif 28396-28406
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1520-1540
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2701-2713

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


( ! [V__AN] :
   ((s__instance(V__AN,s__PurchaseOrderNumber) =>
       (( ? [V__PO, V__BUYER, V__SELLER, V__ENT] :
           ((s__instance(V__BUYER,s__CognitiveAgent) &
               s__instance(V__SELLER,s__CognitiveAgent) &
               (s__instance(V__PO,s__PurchaseOrder) &
                 s__buys(V__BUYER,V__SELLER,V__ENT)
               &
               s__uniqueIdWithRespectTo(V__PO,V__BUYER,V__AN)))))))
)
)

Mid-level-ontology.kif 28432-28438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28294-28314
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28321-28341


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