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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StandardGaugeRailway

Sigma KEE - StandardGaugeRailway
StandardGaugeRailway

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


(externalImage StandardGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Rail_gauge_world.png") pictureList.kif 8736-8736
(externalImage StandardGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Three_rail_tracks_350.jpg") pictureList.kif 8737-8737
(externalImage StandardGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ CombinedTrack.jpg") pictureList.kif 9702-9702
(subclass StandardGaugeRailway Railway) Transportation.kif 353-353

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


(termFormat EnglishLanguage StandardGaugeRailway "standard gauge railway") domainEnglishFormat.kif 9590-9590

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


(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))
Transportation.kif 437-439

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


(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 262-269
(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))
Transportation.kif 291-303
(=>
    (and
        (lengthOfStandardGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY StandardGaugeRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 271-279


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