MultipleTrackRailway - Sigma Knowledge base Browser

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 363-366
(subclass MultipleTrackRailway Railway)	Transportation.kif 362-362	Multiple track railway is a subclass of railway

appearance as argument number 2

(termFormat ChineseLanguage MultipleTrackRailway "多轨铁路")	domainEnglishFormat.kif 39215-39215
(termFormat ChineseTraditionalLanguage MultipleTrackRailway "多軌鐵路")	domainEnglishFormat.kif 39214-39214
(termFormat EnglishLanguage MultipleTrackRailway "multiple track railway")	domainEnglishFormat.kif 39213-39213

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 an object is an instance of multiple track railway,
then there exist another object and a third object such that the other object is an instance of railroad track and the third object is an instance of railroad track and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object

consequent

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

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

KB Term:			Term intersection

English Word: