No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1714-1714 |
采煤 是 煤炭工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1715-1715 |
煤炭产品制造业 是 煤炭工业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15336-15336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15335-15335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15334-15334 |
|