Savanna
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6690-6691 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4815-4815 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6687-6687 | Savanna est une sous-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6688-6688 | Savanna est une sous-classe de Plain |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51341-51341 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51340-51340 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51339-51339 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6693-6696 |