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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NarrowGaugeRailway
NarrowGaugeRailway(narrow gauge railway)
more pictures...
narrow_gauge, narrow_gauge_railway

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


(externalImage NarrowGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 21/ 6AatLakeside.jpg") pictureList.kif 9462-9462 "http://upload.wikimedia.org/wikipedia/commons/2/21/ 6AatLakeside.jpg" is a URL depicting narrow gauge railway
(externalImage NarrowGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 28/ Roslagsbanan.JPG") pictureList.kif 9463-9463 "http://upload.wikimedia.org/wikipedia/commons/2/28/ Roslagsbanan.JPG" is a URL depicting narrow gauge railway
(externalImage NarrowGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Ffestiniog_DLG_BF.JPG") pictureList.kif 9464-9464 "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Ffestiniog_DLG_BF.JPG" is a URL depicting narrow gauge railway
(externalImage NarrowGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 61/ RovosRailAtPretoria.jpg") pictureList.kif 9465-9465 "http://upload.wikimedia.org/wikipedia/commons/6/61/ RovosRailAtPretoria.jpg" is a URL depicting narrow gauge railway
(externalImage NarrowGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 68/ Waldenburgerbahn.jpg") pictureList.kif 9466-9466 "http://upload.wikimedia.org/wikipedia/commons/6/68/ Waldenburgerbahn.jpg" is a URL depicting narrow gauge railway
(externalImage NarrowGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ JRF-EF641024.JPG") pictureList.kif 9467-9467 "http://upload.wikimedia.org/wikipedia/commons/a/a9/ JRF-EF641024.JPG" is a URL depicting narrow gauge railway
(externalImage NarrowGaugeRailway "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ CombinedTrack.jpg") pictureList.kif 8611-8611 "http://upload.wikimedia.org/wikipedia/commons/f/fd/ CombinedTrack.jpg" is a URL depicting narrow gauge railway
(subclass NarrowGaugeRailway Railway) Transportation.kif 352-352 Narrow gauge railway is a subclass of railway

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


(termFormat EnglishLanguage NarrowGaugeRailway "narrow gauge railway") domainEnglishFormat.kif 7046-7046 "narrow gauge railway" is the printable form of narrow gauge railway in english language

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


(<=>
    (instance ?RR NarrowGaugeRailway)
    (property ?RR NarrowGauge))
Transportation.kif 454-456 An entity is an instance of narrow gauge railway if and only if the entity has an attribute narrow gauge

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


(<=>
    (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS NarrowGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 234-241 A length measure is a length of narrow 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
        (lengthOfNarrowGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY NarrowGaugeRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 243-251


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