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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PurchaseOrder

Sigma KEE - PurchaseOrder
PurchaseOrderbill-me_order, credit_order, indent, mail_order, open_account, order, production_order, purchase_order, reorder, stop_payment

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


s__documentation(s__PurchaseOrder,s__EnglishLanguage,'A FinancialText which refers to the Selling of physical goods and confersObligation to a buyer to purchase goods according to agreed upon terms. A PurchaseOrder always occurs before Buying.')

Mid-level-ontology.kif 28065-28065
s__instance(s__FinancialText,s__SetOrClass)

s__subclass(s__PurchaseOrder,s__FinancialText)

s__instance(s__PurchaseOrder,s__SetOrClass)

Mid-level-ontology.kif 28064-28064 PurchaseOrder is a subclass of financial text

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


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

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


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