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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStatesGallon
UnitedStatesGallon(united states gallon)gal, gallon

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


(documentation UnitedStatesGallon ChineseLanguage "这是美国普遍使用的容量单位。") chinese_format.kif 2594-2594
(documentation UnitedStatesGallon EnglishLanguage "Unit of volume commonly used in the United States.") Merge.kif 7210-7211
(documentation UnitedStatesGallon JapaneseLanguage "米国で一般的に使用されるボリュームの単 位。") japanese_format.kif 1303-1304
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 7207-7207 United states gallon is an instance of unit of volume
(relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon) Merge.kif 7208-7208 United states gallon is internally related to united kingdom gallon

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


(termFormat ChineseLanguage UnitedStatesGallon "美国加仑") domainEnglishFormat.kif 60400-60400
(termFormat ChineseTraditionalLanguage UnitedStatesGallon "美國加侖") domainEnglishFormat.kif 60399-60399
(termFormat EnglishLanguage UnitedStatesGallon "united states gallon") domainEnglishFormat.kif 60398-60398

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


(equal
    (MeasureFn ?NUMBER Quart)
    (MeasureFn
        (DivisionFn ?NUMBER 4) UnitedStatesGallon))
Merge.kif 7222-7224 A real number quart(s) is equal to the real number and 4 united states gallon(s)
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))
Merge.kif 7213-7215 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