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 |
Timber is internally related to botanical tree |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5500-5500 |
Timber is internally related to lumber |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5498-5498 |
Timber is internally related to organic object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31664-31664 |
roomTempState timber and solid |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5495-5495 |
Timber is a subclass of wood product |