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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Bus

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

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


(documentation Bus 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 2108-2111
(externalImage Bus "http://articulatesoftware.com/SUMOpictures/transportation/ bus/ bus_2.png") pictureList.kif 305-305
(subclass Bus PassengerVehicle) Transportation.kif 2107-2107 Bus is a subclass of passenger vehicle
(subclass Bus SelfPoweredRoadVehicle) Transportation.kif 2106-2106 Bus is a subclass of self powered road vehicle

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


(termFormat ChineseLanguage Bus "总线") domainEnglishFormat.kif 12424-12424
(termFormat ChineseTraditionalLanguage Bus "總線") domainEnglishFormat.kif 12423-12423
(termFormat EnglishLanguage Bus "bus") domainEnglishFormat.kif 12422-12422

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


(=>
    (instance ?B Bus)
    (hasPurpose ?B
        (exists (?C ?T ?N ?P)
            (and
                (instance ?C Collection)
                (instance ?T Transportation)
                (memberCount ?C ?N)
                (greaterThan ?N 11)
                (=>
                    (member ?P ?C)
                    (patient ?T ?P))))))
Transportation.kif 2112-2123

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


(=>
    (instance ?X BusStop)
    (hasPurpose ?X
        (exists (?B ?BO ?D)
            (and
                (instance ?B Bus)
                (instance ?BO Boarding)
                (instance ?D Deboarding)
                (eventLocated ?BO ?X)
                (eventLocated ?D ?X)
                (patient ?BO ?B)
                (patient ?D ?B)))))
Transportation.kif 2129-2140


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