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 est reli� � l'int�rieur de SUMO � BotanicalTree |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5500-5500 |
Timber est reli� � l'int�rieur de SUMO � Lumber |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5498-5498 |
Timber est reli� � l'int�rieur de SUMO � objet organique |
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 est une sous-classe de WoodProduct |