No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6600-6601 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5041-5041 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4753-4753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4919-4919 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5040-5040 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6597-6597 |
Jungle e' uma sub-classe de Biome |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6598-6598 |
Jungle e' uma sub-classe de Area terrestre |