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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesGallon

Sigma KEE - UnitedStatesGallon
UnitedStatesGallon

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
(relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon) Merge.kif 7208-7208

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
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))
Merge.kif 7213-7215


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