TreeView Knowledge Base Browser

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 1968-1971
(externalImage Bus "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ bus/ bus_2.png")	pictureList.kif 305-305
(subclass Bus PassengerVehicle)	Transportation.kif 1967-1967	Bus is a subclass of passenger vehicle
(subclass Bus SelfPoweredRoadVehicle)	Transportation.kif 1966-1966	Bus is a subclass of self powered road vehicle

appearance as argument number 2

(termFormat ChineseLanguage Bus "总线")	domainEnglishFormat.kif 12420-12420
(termFormat ChineseTraditionalLanguage Bus "總線")	domainEnglishFormat.kif 12419-12419
(termFormat EnglishLanguage Bus "bus")	domainEnglishFormat.kif 12418-12418

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 1972-1983

If a physical is an instance of bus,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of collection and the other entity is an instance of transportation and the third entity is a member count of the entity and the third entity is greater than 11 and
- if the fourth entity is a member of the entity,
- then the fourth entity is a patient of the other entity

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 1989-2000

If a physical is an instance of bus stop,
then the physical has the purpose there exist an entity, the entityO and a third entity such that the entity is an instance of bus and the entityO is an instance of boarding and the third entity is an instance of deboarding and the entityO is located at the physical and the third entity is located at the physical and the entity is a patient of the entityO and the entity is a patient of the third entity

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

KB Term:			Term intersection

English Word: