No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5500-5500 |
原木材 和 木料 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5558-5558 |
FinishedLumber 是 木料 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5544-5544 |
RoughSawnLumber 是 木料 的 subclass |
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 |
|