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 1963-1965
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1962-1962 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 2916-2916 AON order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2952-2952 Day order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2889-2889 FOK order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2927-2927 GTC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2861-2861 IOC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2009-2009 Limit order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2963-2963 MNH order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2968-2968 MOC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1978-1978 Market order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2978-2978 NH order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2986-2986 OCO order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2082-2082 Stop order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23785-23785 Stop order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23784-23784 Stop order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23783-23783 Stop order is a subattribute of financial order


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