No TPTP formula. May not be expressible in strict first order. | Geography.kif 4101-4101 | SlopedArea e' uma sub-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4123-4123 | Cliff e' uma sub-classe de SlopedArea |
![]() |