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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SquareKilometer
SquareKilometer(square kilometer)

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


(documentation SquareKilometer EnglishLanguage "SquareKilometer represents a UnitOfMeasure equal to one square kilometer.") Geography.kif 751-752
(equal SquareKilometer
    (SquareUnitFn
        (KiloFn Meter)))
Geography.kif 754-754 equal square kilometer and the square unit of 1 thousand meters
(equal SquareKilometer
    (SquareUnitFn Kilometer))
Geography.kif 755-755 equal square kilometer and the square unit of kilometer
(instance SquareKilometer UnitOfArea) Geography.kif 750-750 Square kilometer is an instance of unit of area

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


(termFormat ChineseLanguage SquareKilometer "平方千米") domainEnglishFormat.kif 54874-54874
(termFormat ChineseTraditionalLanguage SquareKilometer "平方千米") domainEnglishFormat.kif 54873-54873
(termFormat EnglishLanguage SquareKilometer "square kilometer") domainEnglishFormat.kif 54872-54872

statement
-------------------------


(totalArea MediterraneanSea
    (MeasureFn 2500000 SquareKilometer))
Geography.kif 5016-5016 2500000 Square kilometer(s) is a total area of mediterranean sea
(totalArea SaharaDesert
    (MeasureFn 3600000 SquareKilometer))
Geography.kif 6916-6916 3600000 Square kilometer(s) is a total area of Sahara Desert
(totalArea Sahel
    (MeasureFn 3053200 SquareKilometer))
Geography.kif 6933-6933 3053200 Square kilometer(s) is a total area of Sahel
(totalArea SouthernOcean
    (MeasureFn 20327000.0 SquareKilometer))
Geography.kif 4866-4867 20327000.0 Square kilometer(s) is a total area of southern ocean


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