No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1301-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1300-1300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1299-1299 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3323-3323 |
税后收入 是 赚的收入 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3343-3343 |
税前收入 是 赚的收入 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3303-3303 |
税收递延收入 是 赚的收入 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29533-29533 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29532-29532 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29531-29531 |
|