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 子屬性 金融秩序 and 服務合同

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2899-2899 子屬性 AON 訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2935-2935 子屬性 一天的訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2872-2872 子屬性 FOK訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2910-2910 子屬性 GTC訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2844-2844 子屬性 國際奧委會訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1992-1992 子屬性 限價訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2946-2946 子屬性 MNH訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2951-2951 子屬性 MOC訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1961-1961 子屬性 市場秩序 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2961-2961 子屬性 NH命令 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2969-2969 子屬性 OCO訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2065-2065 子屬性 停止訂單 and 金融秩序
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