UniModalTransitSystem - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UniModalTransitSystem

UniModalTransitSystem(uni modal transit system)

appearance as argument number 1

(disjoint UniModalTransitSystem MultiModalTransitSystem)	Transportation.kif 3499-3499	Uni modal transit system is disjoint from multi modal transit system
(documentation UniModalTransitSystem EnglishLanguage "UniModalTransitSystem is the class of TransitSystems that accommodate a single type of transportation device or method.")	Transportation.kif 3496-3498	Uni modal transit system is disjoint from multi modal transit system
(subclass UniModalTransitSystem TransitSystem)	Transportation.kif 3495-3495	Uni modal transit system is a subclass of transit system

appearance as argument number 2

(termFormat ChineseLanguage UniModalTransitSystem "单一运输系统")	domainEnglishFormat.kif 60032-60032
(termFormat ChineseTraditionalLanguage UniModalTransitSystem "單一運輸系統")	domainEnglishFormat.kif 60031-60031
(termFormat EnglishLanguage UniModalTransitSystem "uni modal transit system")	domainEnglishFormat.kif 60030-60030

antecedent

(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 Aircraft) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 Aircraft))	Transportation.kif 3540-3551	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of aircraft
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RailVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 RailVehicle))	Transportation.kif 3514-3525	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of rail vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 RoadVehicle))	Transportation.kif 3501-3512	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 WaterVehicle))	Transportation.kif 3527-3538	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of water vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of water vehicle

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