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