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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MultiModalTransitSystem
MultiModalTransitSystem

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


(documentation MultiModalTransitSystem EnglishLanguage "MultiModalTransitSystem is the class of TransitSystems that accommodate more than one type of transportation device or method.") Transportation.kif 3564-3566
(subclass MultiModalTransitSystem TransitSystem) Transportation.kif 3563-3563 MultiModalTransitSystem は TransitSystem の subclass では

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


(disjoint UniModalTransitSystem MultiModalTransitSystem) Transportation.kif 3509-3509 UniModalTransitSystem と MultiModalTransitSystem は disjoint では
(termFormat ChineseLanguage MultiModalTransitSystem "多式联运系统") domainEnglishFormat.kif 39166-39166 UniModalTransitSystem と MultiModalTransitSystem は disjoint では
(termFormat ChineseTraditionalLanguage MultiModalTransitSystem "多式聯運系統") domainEnglishFormat.kif 39165-39165 UniModalTransitSystem と MultiModalTransitSystem は disjoint では
(termFormat EnglishLanguage MultiModalTransitSystem "multi modal transit system") domainEnglishFormat.kif 39164-39164 UniModalTransitSystem と MultiModalTransitSystem は disjoint では
(typicalPart MultimodalTransitPoint MultiModalTransitSystem) Transportation.kif 3696-3696 typicalPart MultimodalTransitPoint and MultiModalTransitSystem

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


(=>
    (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 3616-3630
(=>
    (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 3584-3598
(=>
    (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 3568-3582
(=>
    (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 3600-3614


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