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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - MultipleTrackRailway
MultipleTrackRailway(multiple track railway)

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


(subclass MultipleTrackRailway Railway) Transportation.kif 362-362 Multiple track railway is a subclass of railway
(documentation MultipleTrackRailway EnglishLanguage "MultipleTrackRailway is the subclass of Railway whose instances consists of two or more sets of tracks running in parallel, allowing motion in both directions along a route without the need for sidings and delays.") Transportation.kif 363-366 Multiple track railway is a subclass of railway

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


(termFormat EnglishLanguage MultipleTrackRailway "multiple track railway") domainEnglishFormat.kif 39181-39181
(termFormat ChineseTraditionalLanguage MultipleTrackRailway "多軌鐵路") domainEnglishFormat.kif 39182-39182
(termFormat ChineseLanguage MultipleTrackRailway "多轨铁路") domainEnglishFormat.kif 39183-39183

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


(=>
    (instance ?RAIL MultipleTrackRailway)
    (exists (?TRACK1 ?TRACK2)
        (and
            (instance ?TRACK1 RailroadTrack)
            (instance ?TRACK2 RailroadTrack)
            (not
                (equal ?TRACK1 ?TRACK2))
            (part ?TRACK1 ?RAIL)
            (part ?TRACK2 ?RAIL))))		 Transportation.kif 368-376 If X is an instance of multiple track railway, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of railroad track (3) Z is an instance of railroad track (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X

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


(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 154-161 X is a length of multiple track railway of Y if and only if the length of the class described by Z is X
(=>
    (and
        (lengthOfMultipleTrackRailway ?AREA
            (MeasureFn ?LENGTH Mile))
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY MultipleTrackRailway)
            (located ?RAILWAY ?AREA))))		 Transportation.kif 163-171 If X mile(s) is a length of multiple track railway of Y and X is greater than 0, then there exists Z such that Z is an instance of multiple track railway and Z is located at Y


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