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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StandardGaugeRailway
StandardGaugeRailway(standard gauge railway)
standard_gauge, standard_gauge_railway

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


(externalImage StandardGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Rail_gauge_world.png") pictureList.kif 8736-8736 "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Rail_gauge_world.png" is a URL depicting standard gauge railway
(externalImage StandardGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Three_rail_tracks_350.jpg") pictureList.kif 8737-8737 "http://upload.wikimedia.org/wikipedia/commons/6/63/ Three_rail_tracks_350.jpg" is a URL depicting standard gauge railway
(externalImage StandardGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ CombinedTrack.jpg") pictureList.kif 9702-9702 "http://upload.wikimedia.org/wikipedia/commons/f/fd/ CombinedTrack.jpg" is a URL depicting standard gauge railway
(subclass StandardGaugeRailway Railway) Transportation.kif 353-353 Standard gauge railway is a subclass of railway

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


(termFormat EnglishLanguage StandardGaugeRailway "standard gauge railway") domainEnglishFormat.kif 9590-9590 "standard gauge railway" is the printable form of standard gauge railway in english language

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


(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))
Transportation.kif 437-439 An entity is an instance of standard gauge railway if and only if the entity has an attribute standard gauge

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


(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 262-269 A length measure is a length of standard gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (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 A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners