No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6677-6677 |
Pampa e' uma sub-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6671-6671 |
Prairie e' uma sub-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6687-6687 |
Savanna e' uma sub-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6713-6713 |
Veldt e' uma sub-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26496-26496 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26495-26495 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26494-26494 |
|