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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bus
Bus(bus)
trackless_trolley, trolley_coach, trolleybus

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


s__documentation(s__Bus,s__EnglishLanguage,'"Bus is the subclass of SelfPoweredRoadVehicles that can transport large numbers of passengers (i.e., dozens) at one time. It can be distinguished from a van which is designed to carry less than a dozen people."')

Transportation.kif 1976-1979
s__externalImage(s__Bus,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ bus/ bus_2.png"')

pictureList.kif 305-305
s__subclass(s__Bus,s__PassengerVehicle)

s__instance(s__Bus,s__SetOrClass)

s__instance(s__PassengerVehicle,s__SetOrClass)

Transportation.kif 1975-1975 Bus is a subclass of passenger vehicle
s__instance(s__Bus,s__SetOrClass)

s__subclass(s__Bus,s__SelfPoweredRoadVehicle)

s__instance(s__SelfPoweredRoadVehicle,s__SetOrClass)

Transportation.kif 1974-1974 Bus is a subclass of self powered road vehicle

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


s__termFormat(s__ChineseLanguage,s__Bus,'"总线"')

domainEnglishFormat.kif 12418-12418
s__termFormat(s__ChineseTraditionalLanguage,s__Bus,'"總線"')

domainEnglishFormat.kif 12417-12417
s__termFormat(s__EnglishLanguage,s__Bus,'"bus"')

domainEnglishFormat.kif 12416-12416

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1980-1991

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1997-2008


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