|
|
   SlackFormOfAdaptation 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 7255-7256 | |
| (documentation UnitedKingdomGallon JapaneseLanguage "英国で一般的に使用されるボリュームの単 位。") | japanese_format.kif 1310-1311 | |
| (instance UnitedKingdomGallon UnitOfVolume) | Merge.kif 7253-7253 | United kingdom gallon is an instance of unit of volume |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon) | Merge.kif 7208-7208 | United states gallon is internally related to united kingdom gallon |
| (termFormat ChineseLanguage UnitedKingdomGallon "英国加仑") | domainEnglishFormat.kif 60058-60058 | |
| (termFormat ChineseTraditionalLanguage UnitedKingdomGallon "英國加侖") | domainEnglishFormat.kif 60057-60057 | |
| (termFormat EnglishLanguage UnitedKingdomGallon "united kingdom gallon") | domainEnglishFormat.kif 60056-60056 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER UnitedKingdomGallon) (MeasureFn (MultiplicationFn ?NUMBER 4.54609) Liter)) |
Merge.kif 7258-7260 | A real number united kingdom gallon(s) is equal to the real number and 4.54609 liter(s) |
|
|
|