No TPTP formula. May not be expressible in strict first order. | Geography.kif 1278-1278 | TropicalClimateZone e' uma sub-classe de ClimateZone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1309-1309 | WetTropicalClimateZone e' uma sub-classe de TropicalClimateZone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1334-1334 | MonsoonClimateZone e' uma sub-classe de TropicalClimateZone |
![]() |