Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

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

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


(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 7390-7390 United kingdom gallon is an instance of unit of volume
(documentation UnitedKingdomGallon EnglishLanguage "Unit of volume commonly used in the United Kingdom.") Merge.kif 7392-7393 United kingdom gallon is an instance of unit of volume

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


(relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon) Merge.kif 7345-7345 United states gallon is internally related to united kingdom gallon
(termFormat EnglishLanguage UnitedKingdomGallon "united kingdom gallon") domainEnglishFormat.kif 60041-60041 United states gallon is internally related to united kingdom gallon
(termFormat ChineseTraditionalLanguage UnitedKingdomGallon "英國加侖") domainEnglishFormat.kif 60042-60042 United states gallon is internally related to united kingdom gallon
(termFormat ChineseLanguage UnitedKingdomGallon "英国加仑") domainEnglishFormat.kif 60043-60043 United states gallon is internally related to united kingdom gallon

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


(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))		 Merge.kif 7395-7397 equal X united kingdom gallon(s) and X and 4.54609 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners