No TPTP formula. May not be expressible in strict first order. | Geography.kif 4218-4218 | Plain is a subclass of lowland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5743-5743 | Coastal plain is a subclass of plain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6672-6672 | Prairie is a subclass of plain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6678-6678 | Pampa is a subclass of plain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6688-6688 | Savanna is a subclass of plain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6698-6698 | Steppe is a subclass of plain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6714-6714 | Veldt is a subclass of plain |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6728-6728 | Tundra is a subclass of plain |