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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedKingdomGallon
UnitedKingdomGallon(英国加仑)

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 7254-7255
(documentation UnitedKingdomGallon JapaneseLanguage "英国で一般的に使用されるボリュームの単 位。") japanese_format.kif 1310-1311
(instance UnitedKingdomGallon UnitOfVolume) Merge.kif 7252-7252 英国加仑UnitOfVolumeinstance

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


(relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon) Merge.kif 7207-7207 美国加仑英国加仑 是 内部相关
(termFormat ChineseLanguage UnitedKingdomGallon "英国加仑") domainEnglishFormat.kif 60056-60056
(termFormat ChineseTraditionalLanguage UnitedKingdomGallon "英國加侖") domainEnglishFormat.kif 60055-60055
(termFormat EnglishLanguage UnitedKingdomGallon "united kingdom gallon") domainEnglishFormat.kif 60054-60054

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


(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))
Merge.kif 7257-7259 实数 英国加仑 equal 那个 实数 和 4.54609


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