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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialOrder

 Sigma KEE - FinancialOrder
FinancialOrder

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 FinancialOrder est un sous-attribut de ServiceContract

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2899-2899 AONOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2935-2935 DayOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2872-2872 FOKOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2910-2910 GTCOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2844-2844 IOCOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1992-1992 LimitOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2946-2946 MNHOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2951-2951 MOCOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1961-1961 MarketOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2961-2961 NHOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2969-2969 OCOOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2065-2065 StopOrder est un sous-attribut de FinancialOrder
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