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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfBroadGaugeRailway

Sigma KEE - lengthOfBroadGaugeRailway
lengthOfBroadGaugeRailway

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


(documentation lengthOfBroadGaugeRailway EnglishLanguage "(lengthOfBroadGaugeRailway ?AREA ?LENGTH) means that the sum length of broad gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.") Transportation.kif 177-180
(domain lengthOfBroadGaugeRailway 1 GeographicArea) Transportation.kif 174-174 Le nombre 1 argument de lengthOfBroadGaugeRailway est une instance de secteur g�ographique
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) Transportation.kif 175-175 Le nombre 2 argument de lengthOfBroadGaugeRailway est une instance de mesure de longueur
(instance lengthOfBroadGaugeRailway BinaryPredicate) Transportation.kif 173-173 lengthOfBroadGaugeRailway est une instance de pr�dicat binaire

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


(format ChineseLanguage lengthOfBroadGaugeRailway "%2 %n 是 %1 的轨道 length ") domainEnglishFormat.kif 1475-1475
(format ChineseTraditionalLanguage lengthOfBroadGaugeRailway "%2 %n 是 %1 的軌道 length ") domainEnglishFormat.kif 1474-1474
(format EnglishLanguage lengthOfBroadGaugeRailway "%2 is %n a length of broad gauge railway of %1") domainEnglishFormat.kif 1473-1473
(termFormat ChineseLanguage lengthOfBroadGaugeRailway "宽轨铁路的长度") domainEnglishFormat.kif 33977-33977
(termFormat ChineseTraditionalLanguage lengthOfBroadGaugeRailway "寬軌鐵路的長度") domainEnglishFormat.kif 33976-33976
(termFormat EnglishLanguage lengthOfBroadGaugeRailway "length of broad gauge railway") domainEnglishFormat.kif 33975-33975

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


(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189 lengthOfBroadGaugeRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
(=>
    (and
        (lengthOfBroadGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY BroadGaugeRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 191-199


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 3.0 is open source software produced by Articulate Software and its partners