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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfElectrifiedRailway

Sigma KEE - lengthOfElectrifiedRailway
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

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


(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 125-132
(=>
    (and
        (lengthOfElectrifiedRailway ?AREA ?LENGTH)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (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