Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SquareKilometer(square kilometer) |
| appearance as argument number 1 |
|
| (instance SquareKilometer UnitOfArea) | Geography.kif 2089-2089 | Square kilometer is an instance of unit of area |
| (documentation SquareKilometer EnglishLanguage "SquareKilometer represents a UnitOfMeasure equal to one square kilometer.") | Geography.kif 2090-2091 | Square kilometer is an instance of unit of area |
| (equal SquareKilometer (SquareUnitFn (KiloFn Meter))) |
Geography.kif 2093-2093 | equal square kilometer and the square unit of 1 thousand meters |
| (equal SquareKilometer (SquareUnitFn Kilometer)) |
Geography.kif 2094-2094 | equal square kilometer and the square unit of kilometer |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (totalArea SouthernOcean (MeasureFn 20327000.0 SquareKilometer)) |
Geography.kif 6201-6202 | 20327000.0 Square kilometer(s) is a total area of southern ocean |
| (totalArea MediterraneanSea (MeasureFn 2500000 SquareKilometer)) |
Geography.kif 6351-6351 | 2500000 Square kilometer(s) is a total area of mediterranean sea |
| (totalArea SaharaDesert (MeasureFn 3600000 SquareKilometer)) |
Geography.kif 8276-8276 | 3600000 Square kilometer(s) is a total area of Sahara Desert |
| (totalArea Sahel (MeasureFn 3053200 SquareKilometer)) |
Geography.kif 8293-8293 | 3053200 Square kilometer(s) is a total area of Sahel |
|