No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5496-5497 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9478-9478 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5499-5499 |
原木材 和 植物树 是 内部相关 |
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 5498-5498 |
原木材 和 有机物体 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31664-31664 |
roomTempState 原木材 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5495-5495 |
原木材 是 WoodProduct 的 subclass |