No TPTP formula. May not be expressible in strict first order. | Geography.kif 5593-5593 | Canal e' uma sub-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | Canal e' uma sub-classe de Artefato Estacionario |