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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialOrder
FinancialOrder(financial order)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1895-1897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1894-1894 Financial order is a subattribute of service contract

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2839-2839 AON order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2875-2875 Day order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2812-2812 FOK order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2850-2850 GTC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2784-2784 IOC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1941-1941 Limit order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2886-2886 MNH order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2891-2891 MOC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1910-1910 Market order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2901-2901 NH order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2909-2909 OCO order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2015-2015 Stop order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23775-23775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23774-23774
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23773-23773


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