TransitTerminal(transit terminal) more pictures... | bus_depot, bus_station, bus_terminal, coach_station, depot, subway_station, terminal, terminus |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2911-2915 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12036-12036 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12037-12037 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12035-12035 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12038-12038 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12040-12040 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12041-12041 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12034-12034 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10303-10303 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12039-12039 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | Transit terminal is a subclass of stationary artifact |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1265-1265 | Airport is a subclass of transit terminal |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1508-1508 | Heliport is a subclass of transit terminal |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2079-2079 | Railway terminal is a subclass of transit terminal |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2917-2917 | Train station is a subclass of transit terminal |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58898-58898 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58897-58897 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58896-58896 |