NHOrder(NH命令) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2962-2967 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2961-2961 | 子屬性 NH命令 and 金融秩序 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40455-40455 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40454-40454 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40453-40453 |