totalCoastline - Sigma Knowledge base Browser

appearance as argument number 1

(instance totalCoastline BinaryPredicate)	Geography.kif 2344-2344	total coastline is an instance of binary predicate
(domain totalCoastline 1 GeographicArea)	Geography.kif 2345-2345	The number 1 argument of total coastline is an instance of geographic area
(domain totalCoastline 2 LengthMeasure)	Geography.kif 2346-2346	The number 2 argument of total coastline is an instance of length measure
(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 2348-2354	The number 2 argument of total coastline is an instance of length measure

appearance as argument number 2

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

antecedent

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

If X is an instance of unit of length and 0.0 X(s) is a total coastline of Y, then Y is an instance of landlocked area

consequent

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

If X is an instance of landlocked area and Y is an instance of unit of length, then 0.0 Y(s) is a total coastline of X