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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitTerminal

 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 2962-2966
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 2961-2961 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 2085-2085 Railway terminal is a subclass of transit terminal
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2968-2968 Train station is a subclass of transit terminal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58900-58900
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58899-58899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58898-58898


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

Show without tree


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