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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedKingdomGallon
UnitedKingdomGallon(united kingdom gallon)Imperial_gallon, congius, gallon

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


(documentation UnitedKingdomGallon ChineseLanguage "这是英国普遍使用的容量单位。") chinese_format.kif 2599-2599
(documentation UnitedKingdomGallon EnglishLanguage "Unit of volume commonly used in the United Kingdom.") Merge.kif 7164-7165
(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 7162-7162 United kingdom gallon is an instance of UnitOfVolume

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


(relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon) Merge.kif 7117-7117 United states gallon is internally related to united kingdom gallon
(termFormat ChineseLanguage UnitedKingdomGallon "英国加仑") domainEnglishFormat.kif 60023-60023
(termFormat ChineseTraditionalLanguage UnitedKingdomGallon "英國加侖") domainEnglishFormat.kif 60022-60022
(termFormat EnglishLanguage UnitedKingdomGallon "united kingdom gallon") domainEnglishFormat.kif 60021-60021

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


(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))
Merge.kif 7167-7169 A real number united kingdom gallon(s) is equal to the real number and 4.54609 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