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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PurchaseOrder

Sigma KEE - PurchaseOrder
PurchaseOrder(purchase order)bill-me_order, credit_order, indent, mail_order, open_account, order, production_order, purchase_order, reorder, stop_payment

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29891-29893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29890-29890 Purchase order is a subclass of financial text

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65369-65369

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


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

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


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


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 3.0 is open source software produced by Articulate Software and its partners