No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3043-3043 | TransitRoute est une sous-classe de r�gion |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3048-3048 | AirRoute est une sous-classe de TransitRoute |