No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6538-6539 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8623-8623 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9479-9479 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9480-9480 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6537-6537 |
WhiteOakTree 和 WhiteOakWood 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6536-6536 |
WhiteOakTree 是 DeciduousTree 的 subclass |