| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3980-3980 | UplandArea e' uma sub-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4013-4013 | MountainRange e' uma sub-classe de UplandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | Mountain e' uma sub-classe de UplandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4044-4044 | Hill e' uma sub-classe de UplandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4093-4093 | WatershedDivide e' uma sub-classe de UplandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4136-4136 | Plateau e' uma sub-classe de UplandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4155-4155 | Mesa e' uma sub-classe de UplandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4171-4171 | Butte e' uma sub-classe de UplandArea |
|
|