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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClassIRailroad

Sigma KEE - ClassIRailroad
ClassIRailroad

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


(documentation ClassIRailroad EnglishLanguage "ClassIRailroad is the subclass of RailroadCompany whose instances have an average annual gross revenue above $256.4 million UnitedStatesDollars.") Transportation.kif 3415-3418
(subclass ClassIRailroad RailroadCompany) Transportation.kif 3414-3414 ClassIRailroad ist eine teilkategorie von RailroadCompany

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


(termFormat ChineseLanguage ClassIRailroad "classI铁路") domainEnglishFormat.kif 15036-15036
(termFormat ChineseTraditionalLanguage ClassIRailroad "classI鐵路") domainEnglishFormat.kif 15035-15035
(termFormat EnglishLanguage ClassIRailroad "classI railroad") domainEnglishFormat.kif 15034-15034


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