No TPTP formula. May not be expressible in strict first order. | Geography.kif 4171-4171 | Butte e' uma sub-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4172-4172 | Butte e' uma sub-classe de LandForm |