Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  UniModalTransitSystem

 Sigma KEE - UniModalTransitSystem
UniModalTransitSystem(uni modal transit system)

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


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

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


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

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


(=>
    (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 4054-4065 If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of road vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of road vehicle
(=>
    (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 4067-4078 If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of rail vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of rail 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 4080-4091 If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of water vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of water vehicle
(=>
    (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 4093-4104 If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of aircraft (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of aircraft


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners