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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - lengthOfElectrifiedRailway

appearance as argument number 1

(documentation lengthOfElectrifiedRailway EnglishLanguage "(lengthOfElectrifiedRailway ?AREA ?LENGTH) means that the sum length of all ElectrifiedRailway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.") Transportation.kif 120-123
(domain lengthOfElectrifiedRailway 1 GeographicArea) Transportation.kif 117-117
(domain lengthOfElectrifiedRailway 2 LengthMeasure) Transportation.kif 118-118
(instance lengthOfElectrifiedRailway BinaryPredicate) Transportation.kif 116-116

appearance as argument number 2

(format EnglishLanguage lengthOfElectrifiedRailway "%2 is %n a length of electrified railway of %1") domainEnglishFormat.kif 380-380
(termFormat EnglishLanguage lengthOfElectrifiedRailway "length of electrified railway") domainEnglishFormat.kif 6083-6083


    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
        (KappaFn ?RAILWAYS
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 125-132
        (lengthOfElectrifiedRailway ?AREA ?LENGTH)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
            (instance ?RAILWAY ElectrifiedRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 134-141

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