MuakharSadaq
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 280-282 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 284-284 | 穆哈尔萨达克 是 金融交易 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39081-39081 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39080-39080 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39079-39079 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 285-299 |
|