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 e' um sub-atributo de ServiceContract

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


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