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 28121-28122
s__domain(s__buys__m,1,s__CognitiveAgent)

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

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

Mid-level-ontology.kif 28127-28127 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 28120-28120 buys is an instance of ternary predicate

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 28123-28123 "buys" is the printable form of buys in english language

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


( ∀ [V__AGENT,V__CUST,V__ITEM]
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent))
    s__=>((s__buys(V__CUST,V__AGENT,V__ITEM)
      s__and__ms__instance(V__ITEM,s__Physical))
    s__=>(s__exists__m[V__TRANS]
       (s__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__ITEM)
      s__and__ms__agent(V__TRANS,V__CUST)
    s__and__ms__origin(V__TRANS,V__AGENT)))))
)

Mid-level-ontology.kif 28129-28138
( ∀ [V__AGENT,V__CUST,V__ITEM]
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent))
    s__=>((s__buys(V__CUST,V__AGENT,V__ITEM)
      s__and__ms__instance(V__ITEM,s__Proposition))
    s__=>(s__exists__m[V__TRANS,V__PROC]
       (s__instance(V__PROC,s__Process)s__and__m(s__realization(V__PROC,V__ITEM)
      s__and__ms__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__PROC)
    s__and__ms__origin(V__TRANS,V__AGENT))))))
)

Mid-level-ontology.kif 28140-28149
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)s__=>(s__exists__m[V__PO,V__BUYER,V__NUMBER,V__SELLER,V__ENT]
       (s__instance(V__BUYER,s__CognitiveAgent)s__and__ms__instance(V__SELLER,s__CognitiveAgent)s__and__m(s__instance(V__PO,s__PurchaseOrder)s__and__ms__buys(V__BUYER,V__SELLER,V__ENT)
      s__and__ms__instance(V__NUMBER,s__SymbolicString)s__and__ms__uniqueIdWithRespectTo(V__PO,V__BUYER,V__NUMBER)))))
)

Mid-level-ontology.kif 28175-28182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28042-28062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28067-28087


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