No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2991-2991 | Transit route is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2996-2996 | Air route is a subclass of transit route |
![]() |