No TPTP formula. May not be expressible in strict first order. | Geography.kif 5980-5980 | CoralReef e' uma sub-classe de Reef |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5993-5993 | Atoll e' uma sub-classe de CoralReef |