No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6374-6374 |
TemperateRainForest e' uma sub-classe de RainForest |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6372-6372 |
TropicalRainForest e' uma sub-classe de RainForest |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48686-48686 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48685-48685 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48684-48684 |
|