No TPTP formula. May not be expressible in strict first order. | Geography.kif 5593-5593 | Canal est une sous-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | Canal est une sous-classe de artefact stationnaire |