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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Liter
Liter(liter)cubic_decimeter, cubic_decimetre, l, liter, litre

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


(documentation Liter ChineseLanguage "公制中的体积单位。 而它现在的定义等于一立方分米(0.001立方米)。 符号:l。") chinese_format.kif 2511-2512
(documentation Liter EnglishLanguage "Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l.") Merge.kif 6491-6493
(instance Liter UnitOfVolume) Merge.kif 6489-6489 Liter is an instance of UnitOfVolume

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


(termFormat ChineseLanguage Liter "升") domainEnglishFormat.kif 34686-34686
(termFormat ChineseTraditionalLanguage Liter "升") domainEnglishFormat.kif 34685-34685
(termFormat EnglishLanguage Liter "liter") domainEnglishFormat.kif 34684-34684

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


(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))
Merge.kif 6973-6975 A real number united kingdom gallon(s) is equal to the real number and 4.54609 liter(s)
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))
Merge.kif 6928-6930 A real number united states gallon(s) is equal to the real number and 3.785411784 liter(s)


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