No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5280-5280 |
Hardwood 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5279-5279 |
Hardwood 详尽无遗地 partition 成 Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5418-5418 |
CedarWood 是 Softwood 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5428-5428 |
FirWood 是 Softwood 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5438-5438 |
LarchWood 是 Softwood 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5458-5458 |
PineWood 是 Softwood 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5448-5448 |
SpruceWood 是 Softwood 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65513-65513 |
|