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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialOrder

Sigma KEE - FinancialOrder
FinancialOrder(financial order)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1948
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1945-1945 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 2899-2899 AON order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2935-2935 Day order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2872-2872 FOK order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2910-2910 GTC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2844-2844 IOC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1992-1992 Limit order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2946-2946 MNH order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2951-2951 MOC order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1961-1961 Market order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2961-2961 NH order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2969-2969 OCO order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2065-2065 Stop order is a subattribute of financial order
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23780-23780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23779-23779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23778-23778


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