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


KB Term:  Term intersection
English Word: 

Sigma KEE - TransitFn
TransitFn

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


(instance TransitFn UnaryFunction) Transportation.kif 1746-1746 Transit is an instance of unary function
(domain TransitFn 1 Transitway) Transportation.kif 1747-1747 The number 1 argument of transit is an instance of transitway
(rangeSubclass TransitFn Translocation) Transportation.kif 1748-1748 The values returned by transit are subclasses of translocation
(documentation TransitFn EnglishLanguage "(TransitFn ?WAY) denotes the class of Translocations that consist of travelling along the Transitway ?WAY.") Transportation.kif 1749-1751 The values returned by transit are subclasses of translocation

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


(format EnglishLanguage TransitFn "the transit of %1") domainEnglishFormat.kif 2541-2541
(format ChineseTraditionalLanguage TransitFn "%1 的 transit ") domainEnglishFormat.kif 2542-2542
(format ChineseLanguage TransitFn "%1 的 transit ") domainEnglishFormat.kif 2543-2543
(termFormat EnglishLanguage TransitFn "transit") domainEnglishFormat.kif 58855-58855
(termFormat ChineseTraditionalLanguage TransitFn "過境") domainEnglishFormat.kif 58856-58856
(termFormat ChineseLanguage TransitFn "过境") domainEnglishFormat.kif 58857-58857

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


(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))		 Transportation.kif 1753-1757 If X is an instance of the transit of Y and Y is an instance of transitway, then Y is path along which X occurs

consequent
-------------------------


(=>
    (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