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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Kilometer
Kilometer(kilometer)kilometer, kilometre, klick, km

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


(documentation Kilometer ChineseLanguage "这是 Meter 的倍数。符号:km。1 Meter 是1000之 1 Kilometer。") chinese_format.kif 2516-2517
(documentation Kilometer EnglishLanguage "Supermultiple of Meter. Symbol: km. A Meter is the 1000th part of a Kilometer") Merge.kif 6821-6822
(documentation Kilometer JapaneseLanguage "Meter の超多重項。シンボル:km。 MeterKilometer の1000番目の部分である。") japanese_format.kif 1216-1217
(instance Kilometer UnitOfLength) Merge.kif 6819-6819 Kilometer is an instance of unit of length

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


(termFormat ChineseLanguage Kilometer "公里") domainEnglishFormat.kif 32568-32568
(termFormat ChineseTraditionalLanguage Kilometer "公里") domainEnglishFormat.kif 32567-32567
(termFormat EnglishLanguage Kilometer "kilometer") domainEnglishFormat.kif 32566-32566

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


(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (eventLocated ?HAZE ?AREA)
        (instance ?AREA GeographicArea)
        (instance ?AIR AtmosphericRegion)
        (orientation ?AIR ?AREA Above)
        (locatedAtTime ?PARTICULATE
            (WhenFn ?HAZE) ?AIR)
        (visibilityInMeteorology ?AREA
            (WhenFn ?HAZE)
            (MeasureFn ?VISIBILITY Kilometer)))
    (and
        (greaterThan ?VISIBILITY 2.0)
        (lessThan ?VISIBILITY 5.0)))
Weather.kif 3290-3304

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


(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))
Merge.kif 6824-6827 equal a real number kilometer(s) and the real number and 1000 meter(s)
(equal SquareKilometer
    (SquareUnitFn Kilometer))
Geography.kif 788-788 equal square kilometer and the square unit of kilometer


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