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 est reli� � l'int�rieur de SUMO � WhiteOakWood |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6536-6536 |
WhiteOakTree est une sous-classe de DeciduousTree |