No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5500-5500 |
相關的內部概念 原木材 and 木料 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5558-5558 |
子類 FinishedLumber and 木料 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5544-5544 |
子類 RoughSawnLumber and 木料 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35285-35285 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35284-35284 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35283-35283 |
|