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 |
White oak tree is internally related to white oak wood |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6536-6536 |
White oak tree is a subclass of deciduous tree |