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 |
|