No TPTP formula. May not be expressible in strict first order. | Geography.kif 3436-3436 | Meteoroid e' uma sub-classe de Corpo Astronomico |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3425-3425 | Meteorite e' uma sub-classe de Meteoroid |