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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesGallon

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 7209-7210
(documentation UnitedStatesGallon JapaneseLanguage "米国で一般的に使用されるボリュームの単 位。") japanese_format.kif 1303-1304
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 7206-7206 United states gallon is an instance of unit of volume
(relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon) Merge.kif 7207-7207 United states gallon is internally related to united kingdom gallon

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


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

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


(equal
    (MeasureFn ?NUMBER Quart)
    (MeasureFn
        (DivisionFn ?NUMBER 4) UnitedStatesGallon))
Merge.kif 7221-7223 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 7212-7214 A real number united states gallon(s) is equal to the real number and 3.785411784 liter(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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