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 |
相關的內部概念 原木材 and 植物樹 |
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 5498-5498 |
相關的內部概念 原木材 and OrganicObject |
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 |
子類 原木材 and WoodProduct |