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 e' relacionado internamente por SUMO a WhiteOakWood |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6536-6536 |
WhiteOakTree e' uma sub-classe de DeciduousTree |