TransitSystem - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TransitSystem

TransitSystem(transit system)

appearance as argument number 1

(documentation TransitSystem EnglishLanguage "A TransitSystem is a system of interconnected Transitways over which some type(s) of vehicles or travellers may pass. In addition to Transitways, TransitSystems may also include TransitJunctions and TransitTerminals. Transit systems may be demarcated by where they are located (e.g., the rail system of Afghanistan), who owns or manages them (e.g., American Airlines TransitSystem of AirRoutes, or state highways managed by TexDOT), or the type of vehicles or travellers accommodated (e.g., the system of Santa Clara county bike trails.")	Transportation.kif 3411-3419
(subclass TransitSystem PhysicalSystem)	Transportation.kif 3410-3410	Transit system is a subclass of physical system

appearance as argument number 2

(subclass AirTransportationSystem TransitSystem)	Transportation.kif 3485-3485	AirTransportationSystem is a subclass of transit system
(subclass MultiModalTransitSystem TransitSystem)	Transportation.kif 3553-3553	Multi modal transit system is a subclass of transit system
(subclass RailTransportationSystem TransitSystem)	Transportation.kif 2210-2210	Rail transportation system is a subclass of transit system
(subclass RoadTransportationSystem TransitSystem)	Transportation.kif 2254-2254	Road transportation system is a subclass of transit system
(subclass UniModalTransitSystem TransitSystem)	Transportation.kif 3495-3495	Uni modal transit system is a subclass of transit system
(subclass WaterTransportationSystem TransitSystem)	Transportation.kif 3473-3473	Water transportation system is a subclass of transit system
(termFormat ChineseLanguage TransitSystem "运输系统")	domainEnglishFormat.kif 58936-58936	Water transportation system is a subclass of transit system
(termFormat ChineseTraditionalLanguage TransitSystem "運輸系統")	domainEnglishFormat.kif 58935-58935	Water transportation system is a subclass of transit system
(termFormat EnglishLanguage TransitSystem "transit system")	domainEnglishFormat.kif 58934-58934	Water transportation system is a subclass of transit system

appearance as argument number 3

(domain pathInSystem 2 TransitSystem)	Transportation.kif 3313-3313	The number 2 argument of path in system is an instance of transit system
(domain routeEnd 2 TransitSystem)	Transportation.kif 3367-3367	The number 2 argument of route end is an instance of transit system
(domain routeInSystem 2 TransitSystem)	Transportation.kif 3333-3333	The number 2 argument of route in system is an instance of transit system
(domain routeStart 2 TransitSystem)	Transportation.kif 3344-3344	The number 2 argument of route start is an instance of transit system

antecedent

(=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway))	Transportation.kif 3467-3471	If a physical system is an instance of transit system and the physical system is a system part of a physical, then the physical is an instance of transitway
(=> (and (instance ?TS TransitSystem) (instance ?T Transitway) (abstractCounterpart ?G ?TS) (systemPart ?T ?TS)) (exists (?GA) (and (instance ?GA GraphArc) (abstractCounterpart ?GA ?T) (graphPart ?GA ?G))))	Transportation.kif 3435-3445	If a physical system is an instance of transit system and a physical is an instance of transitway and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical, then there exists the graphA such that the graphA is an instance of graph arc and the abstract counterpart of the physical is the graphA and the graphA is a part of the graph
(=> (and (instance ?TS TransitSystem) (instance ?TJ TransitwayJunction) (abstractCounterpart ?G ?TS) (systemPart ?TJ ?TS)) (exists (?GN) (and (instance ?GN GraphNode) (abstractCounterpart ?GN ?TJ) (graphPart ?GN ?G))))	Transportation.kif 3447-3457	If a physical system is an instance of transit system and a physical is an instance of transitway junction and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical, then there exists the graphN such that the graphN is an instance of graph node and the abstract counterpart of the physical is the graphN and the graphN is a part of the graph
(=> (instance ?SYSTEM TransitSystem) (exists (?ROUTE) (and (instance ?ROUTE Transitway) (part ?ROUTE ?SYSTEM))))	Transportation.kif 3421-3426	If an object is an instance of transit system, then there exists another object such that the other object is an instance of transitway and the other object is a part of the object
(=> (instance ?TS TransitSystem) (exists (?G) (and (instance ?G Graph) (abstractCounterpart ?G ?TS))))	Transportation.kif 3428-3433	If a physical is an instance of transit system, then there exists an abstract such that the abstract is an instance of graph and the abstract counterpart of the physical is the abstract

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