No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | TransitTerminal est une sous-classe de artefact stationnaire |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1265-1265 | Airport est une sous-classe de TransitTerminal |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1508-1508 | Heliport est une sous-classe de TransitTerminal |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2079-2079 | RailwayTerminal est une sous-classe de TransitTerminal |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2917-2917 | TrainStation est une sous-classe de TransitTerminal |
![]() |