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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bus
Bus

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 1958-1961
(externalImage Bus "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ bus/ bus_2.png") pictureList.kif 305-305
(subclass Bus PassengerVehicle) Transportation.kif 1957-1957
(subclass Bus SelfPoweredRoadVehicle) Transportation.kif 1956-1956

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


(termFormat ChineseLanguage Bus "总线") domainEnglishFormat.kif 12361-12361
(termFormat ChineseTraditionalLanguage Bus "總線") domainEnglishFormat.kif 12360-12360
(termFormat EnglishLanguage Bus "bus") domainEnglishFormat.kif 12359-12359

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


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

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 1979-1990


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners