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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - totalLengthOfWaterways
totalLengthOfWaterways

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


(documentation totalLengthOfWaterways EnglishLanguage "(totalLengthOfWaterways ?AREA ?LENGTH) means that the total length of navigable Waterways in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.") Transportation.kif 640-643
(domain totalLengthOfWaterways 1 GeographicArea) Transportation.kif 638-638
(domain totalLengthOfWaterways 2 LengthMeasure) Transportation.kif 639-639
(instance totalLengthOfWaterways BinaryPredicate) Transportation.kif 637-637

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


(format ChineseLanguage totalLengthOfWaterways "%2 %n 是 %1 的 total 水路长路") domainEnglishFormat.kif 2511-2511
(format ChineseTraditionalLanguage totalLengthOfWaterways "%2 %n 是 %1 的 total 水路長路") domainEnglishFormat.kif 2510-2510
(format EnglishLanguage totalLengthOfWaterways "%2 is %n a total length of waterways of %1") domainEnglishFormat.kif 2509-2509
(termFormat ChineseLanguage totalLengthOfWaterways "水道总长度") domainEnglishFormat.kif 58473-58473
(termFormat ChineseTraditionalLanguage totalLengthOfWaterways "水道總長度") domainEnglishFormat.kif 58472-58472
(termFormat EnglishLanguage totalLengthOfWaterways "total length of waterways") domainEnglishFormat.kif 58471-58471

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 645-652
(=>
    (and
        (totalLengthOfWaterways ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?WATERWAY)
        (and
            (instance ?WATERWAY Waterway)
            (located ?WATERWAY ?AREA))))
Transportation.kif 654-662


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