No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1630-1630 | Tunnel est une sous-classe de LandTransitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | Tunnel est une sous-classe de artefact stationnaire |