| Savanna(savanna)
| | savanna, savannah |
| 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 is a subclass of grassland |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6688-6688 | Savanna is a subclass of plain |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51339-51339 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51338-51338 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51337-51337 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6693-6696 |
|
|
|
|