totalCoastline - Sigma Knowledge base Browser

appearance as argument number 1

(documentation totalCoastline EnglishLanguage "(totalCoastline ?AREA ?COASTLENGTH) means that the total length of all boundaries between the GeographicArea ?AREA and the ocean is the LengthMeasure ?COASTLENGTH. The coastline counted may be discontinuous and may even be along different oceans (as in Columbia). A totalCoastline of zero indicates a LandlockedArea. Note that only Ocean coastlines are counted, not any shores with inland waters.")	Geography.kif 885-891
(domain totalCoastline 1 GeographicArea)	Geography.kif 882-882
(domain totalCoastline 2 LengthMeasure)	Geography.kif 883-883
(instance totalCoastline BinaryPredicate)	Geography.kif 881-881

appearance as argument number 2

(format ChineseLanguage totalCoastline "%2 %n 是 %1 的 total 海岸线")	domainEnglishFormat.kif 2491-2491
(format ChineseTraditionalLanguage totalCoastline "%2 %n 是 %1 的 total 海岸線")	domainEnglishFormat.kif 2490-2490
(format EnglishLanguage totalCoastline "%2 is %n a total coastline of %1")	domainEnglishFormat.kif 2489-2489
(termFormat ChineseLanguage totalCoastline "总海岸线")	domainEnglishFormat.kif 58581-58581
(termFormat ChineseTraditionalLanguage totalCoastline "總海岸線")	domainEnglishFormat.kif 58580-58580
(termFormat EnglishLanguage totalCoastline "total coastline")	domainEnglishFormat.kif 58579-58579

antecedent

(=>
    (and
        (instance ?UNIT UnitOfLength)
        (totalCoastline ?AREA
            (MeasureFn 0.0 ?UNIT)))
    (instance ?AREA LandlockedArea))

Geography.kif 913-917

consequent

(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?UNIT UnitOfLength))
    (totalCoastline ?AREA
        (MeasureFn 0.0 ?UNIT)))

Geography.kif 907-911