No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5280-5280 |
不相交的 Hardwood and Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5279-5279 |
劃分 Hardwood and Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5418-5418 |
子類 CedarWood and Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5428-5428 |
子類 FirWood and Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5438-5438 |
子類 LarchWood and Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5458-5458 |
子類 PineWood and Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5448-5448 |
子類 SpruceWood and Softwood |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65513-65513 |
|