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 金融秩序 是 服务合同 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2899-2899 AON 订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2935-2935 一天的订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2872-2872 FOK订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2910-2910 GTC订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2844-2844 国际奥委会订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1992-1992 限价订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2946-2946 MNH订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2951-2951 MOC订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1961-1961 市场秩序 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2961-2961 NH命令 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2969-2969 OCO订单 是 金融秩序 的 subAttribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2065-2065 停止订单 是 金融秩序 的 subAttribute
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