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 6925-6926
(instance UnitedStatesGallon UnitOfVolume) Merge.kif 6922-6922 United states gallon is an instance of UnitOfVolume
(relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon) Merge.kif 6923-6923 United states gallon is internally related to united kingdom gallon

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


(termFormat ChineseLanguage UnitedStatesGallon "美国加仑") domainEnglishFormat.kif 60364-60364
(termFormat ChineseTraditionalLanguage UnitedStatesGallon "美國加侖") domainEnglishFormat.kif 60363-60363
(termFormat EnglishLanguage UnitedStatesGallon "united states gallon") domainEnglishFormat.kif 60362-60362

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


(equal
    (MeasureFn ?NUMBER Quart)
    (MeasureFn
        (DivisionFn ?NUMBER 4) UnitedStatesGallon))
Merge.kif 6937-6939 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 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