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


KB Term:  Term intersection
English Word: 

  IgnitionControlModule

 Sigma KEE - MultiModalTransitSystem
MultiModalTransitSystem(multi modal transit system)

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


(subclass MultiModalTransitSystem TransitSystem) Transportation.kif 4106-4106 Multi modal transit system is a subclass of transit system
(documentation MultiModalTransitSystem EnglishLanguage "MultiModalTransitSystem is the class of TransitSystems that accommodate more than one type of transportation device or method.") Transportation.kif 4107-4109 Multi modal transit system is a subclass of transit system

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


(disjoint UniModalTransitSystem MultiModalTransitSystem) Transportation.kif 4052-4052 Uni modal transit system is disjoint from multi modal transit system
(typicalPart MultimodalTransitPoint MultiModalTransitSystem) Transportation.kif 4236-4236 A multi modal transportation point is typically a part of a multi modal transit system
(termFormat EnglishLanguage MultiModalTransitSystem "multi modal transit system") domainEnglishFormat.kif 39157-39157 A multi modal transportation point is typically a part of a multi modal transit system
(termFormat ChineseTraditionalLanguage MultiModalTransitSystem "多式聯運系統") domainEnglishFormat.kif 39158-39158 A multi modal transportation point is typically a part of a multi modal transit system
(termFormat ChineseLanguage MultiModalTransitSystem "多式联运系统") domainEnglishFormat.kif 39159-39159 A multi modal transportation point is typically a part of a multi modal transit system

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


(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RoadVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 4111-4125 If All of the following hold: (1) X is an instance of multi 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 At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of water vehicle (3) U is an instance of aircraft
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RoadVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 4127-4141 If All of the following hold: (1) X is an instance of multi 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 At least one of the following holds: (1) U is an instance of road vehicle (2) U is an instance of water vehicle (3) U is an instance of aircraft
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 RoadVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 4143-4157 If All of the following hold: (1) X is an instance of multi 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 At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of road vehicle (3) U is an instance of aircraft
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 Aircraft)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 RoadVehicle)))		 Transportation.kif 4159-4173 If All of the following hold: (1) X is an instance of multi 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 At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of water vehicle (3) U is an instance of road vehicle


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