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


KB Term:  Term intersection
English Word: 

Sigma KEE - MultimodalTransitPoint
MultimodalTransitPoint(multi modal transportation point)

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


(subclass MultimodalTransitPoint Region) Transportation.kif 4231-4231 Multi modal transportation point is a subclass of region
(subclass MultimodalTransitPoint TransitTerminal) Transportation.kif 4232-4232 Multi modal transportation point is a subclass of transit terminal
(documentation MultimodalTransitPoint EnglishLanguage "MultimodalTransitPoint is facility that allows travelers to and freight to easily transition between different modes of transportation. This can include rail, road, air and water transitway.") Transportation.kif 4233-4235 Multi modal transportation point is a subclass of transit terminal
(typicalPart MultimodalTransitPoint MultiModalTransitSystem) Transportation.kif 4236-4236 A multi modal transportation point is typically a part of a multi modal transit system

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


(termFormat EnglishLanguage MultimodalTransitPoint "multi modal transportation point") domainEnglishFormat.kif 39155-39155

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


(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A AirTransitway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Railway)
                (instance ?B Roadway)
                (instance ?B Waterway)))))		 Transportation.kif 4238-4253 If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of air transitway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of waterway
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Waterway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Railway)
                (instance ?B Roadway)
                (instance ?B AirTransitway)))))		 Transportation.kif 4255-4270 If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of waterway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of railway or V is an instance of roadway or V is an instance of air transitway
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Railway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Waterway)
                (instance ?B Roadway)
                (instance ?B AirTransitway)))))		 Transportation.kif 4272-4287 If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of railway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of roadway or V is an instance of air transitway
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Roadway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Waterway)
                (instance ?B Railway)
                (instance ?B AirTransitway)))))		 Transportation.kif 4289-4304 If X is an instance of multi modal transportation point, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of the transit of Z (3) Z is an instance of roadway (4) Z is path along which Y occurs (5) W is an instance of the transit of V (6) V is path along which W occurs (7) X connects Z (8) V (9) equal Y (10) W (11) V is an instance of waterway or V is an instance of railway or V is an instance of air transitway


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