No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3014-3014 | TransitwayJunction est une sous-classe de Transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3022-3022 | RoadJunction est une sous-classe de TransitwayJunction |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3028-3028 | RailJunction est une sous-classe de TransitwayJunction |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3034-3034 | WaterJunction est une sous-classe de TransitwayJunction |