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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalLengthOfWaterways

 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 651-654
(domain totalLengthOfWaterways 1 GeographicArea) Transportation.kif 649-649 totalLengthOfWaterways の数値 1 引数は 地理的地域 の instance では %n
(domain totalLengthOfWaterways 2 LengthMeasure) Transportation.kif 650-650 totalLengthOfWaterways の数値 2 引数は 長さ測定 の instance では %n
(instance totalLengthOfWaterways BinaryPredicate) Transportation.kif 648-648 totalLengthOfWaterways は 2進述語 の instance では %n

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


(format ChineseLanguage totalLengthOfWaterways "%2 %n 是 %1 的 total 水路长路") domainEnglishFormat.kif 2515-2515
(format ChineseTraditionalLanguage totalLengthOfWaterways "%2 %n 是 %1 的 total 水路長路") domainEnglishFormat.kif 2514-2514
(format EnglishLanguage totalLengthOfWaterways "%2 is %n a total length of waterways of %1") domainEnglishFormat.kif 2513-2513
(termFormat ChineseLanguage totalLengthOfWaterways "水道总长度") domainEnglishFormat.kif 58592-58592
(termFormat ChineseTraditionalLanguage totalLengthOfWaterways "水道總長度") domainEnglishFormat.kif 58591-58591
(termFormat EnglishLanguage totalLengthOfWaterways "total length of waterways") domainEnglishFormat.kif 58590-58590

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


(<=>
    (totalLengthOfWaterways ?AREA ?LENGTH)
    (length
        (KappaFn ?WATERWAY
            (and
                (instance ?WATERWAY Waterway)
                (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))		 Transportation.kif 656-663 totalLengthOfWaterways 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では
(=>
    (and
        (totalLengthOfWaterways ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?WATERWAY)
        (and
            (instance ?WATERWAY Waterway)
            (located ?WATERWAY ?AREA))))		 Transportation.kif 665-673


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