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

Formal Language: 



KB Term:  Term intersection
English Word: 

  buys

 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 28041-28042
s__domain(s__buys__m,1,s__CognitiveAgent)

 Mid-level-ontology.kif 28045-28045
s__domain(s__buys__m,2,s__CognitiveAgent)

 Mid-level-ontology.kif 28046-28046
s__domain(s__buys__m,3,s__Entity)

 Mid-level-ontology.kif 28047-28047
s__instance(s__TernaryPredicate,s__SetOrClass)

 Mid-level-ontology.kif 28040-28040

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


s__format(s__EnglishLanguage,s__buys__m,'%1 buys %3 from %2')

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

 Mid-level-ontology.kif 28043-28043

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


( ∀ [V__CUST,V__AGENT,V__ITEM]
   ((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 28049-28058
( ∀ [V__CUST,V__AGENT,V__ITEM]
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     ∧
     s__instance(V__ITEM,s__Proposition))
   ⇒
   (∃ [V__TRANS,V__PROC]
     (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 28060-28069
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1502-1522
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2682-2693

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


( ∀ [V__AN]
   (s__instance(V__AN,s__PurchaseOrderNumber) ⇒
     (∃ [V__PO,V__BUYER,V__NUMBER,V__SELLER,V__ENT]
       (s__instance(V__PO,s__PurchaseOrder) ∧
         s__buys(V__BUYER,V__SELLER,V__ENT)
       ∧
       s__instance(V__NUMBER,s__SymbolicString) ∧
       s__uniqueIdWithRespectTo(V__PO,V__BUYER,V__NUMBER))))
)

 Mid-level-ontology.kif 28095-28102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27962-27982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27987-28007


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners