Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitTerminal
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners