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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FillingAnOrder

Sigma KEE - FillingAnOrder
FillingAnOrder(filling an order)Wall_Street, market, securities_industry, the_City, the_Street

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2830-2831
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2829-2829 Filling an order is a subclass of financial transaction

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23672-23672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23671-23671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23670-23670

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870


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