No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1630-1630 | Tunnel e' uma sub-classe de LandTransitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | Tunnel e' uma sub-classe de Artefato Estacionario |
![]() |