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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - totalCoastline
totalCoastline

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 890-896
(domain totalCoastline 1 GeographicArea) Geography.kif 887-887 The number 1 argument of total coastline is an instance of geographic area
(domain totalCoastline 2 LengthMeasure) Geography.kif 888-888 The number 2 argument of total coastline is an instance of length measure
(instance totalCoastline BinaryPredicate) Geography.kif 886-886 total coastline is an instance of binary predicate

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


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

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


(=>
    (and
        (instance ?UNIT UnitOfLength)
        (totalCoastline ?AREA
            (MeasureFn 0.0 ?UNIT)))
    (instance ?AREA LandlockedArea))
Geography.kif 918-922

consequent
-------------------------


(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?UNIT UnitOfLength))
    (totalCoastline ?AREA
        (MeasureFn 0.0 ?UNIT)))
Geography.kif 912-916


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