No TPTP formula. May not be expressible in strict first order. | Geography.kif 1278-1278 | Tropical climate zone is a subclass of climate zone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1309-1309 | Wet tropical climate zone is a subclass of tropical climate zone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1334-1334 | Monsoon climate zone is a subclass of tropical climate zone |