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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultipleTrackRailway

Sigma KEE - MultipleTrackRailway
MultipleTrackRailway

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


(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 360-363
(subclass MultipleTrackRailway Railway) Transportation.kif 359-359

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


(termFormat EnglishLanguage MultipleTrackRailway "multiple track railway") domainEnglishFormat.kif 6949-6949

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 365-373

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


(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 152-159
(=>
    (and
        (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY MultipleTrackRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 161-168


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners