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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitStop
TransitStop

appearance as argument number 1
-------------------------


(documentation TransitStop EnglishLanguage "TransitStop is the subclass of places where a vehicle of a scheduled or common carrier makes a stop to discharge or take on passengers or goods.") Transportation.kif 3105-3107
(subclass TransitStop Region) Transportation.kif 3104-3104 TransitStop e' uma sub-classe de Regiao

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage TransitStop "中转站") domainEnglishFormat.kif 58888-58888
(termFormat ChineseTraditionalLanguage TransitStop "中轉站") domainEnglishFormat.kif 58887-58887
(termFormat EnglishLanguage TransitStop "transit stop") domainEnglishFormat.kif 58886-58886


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