TreeView Knowledge Base Browser - UnitedStatesGallon

appearance as argument number 1

(instance UnitedStatesGallon UnitOfVolume)	Merge.kif 7344-7344	United states gallon is an instance of unit of volume
(relatedInternalConcept UnitedStatesGallon UnitedKingdomGallon)	Merge.kif 7345-7345	United states gallon is internally related to united kingdom gallon
(documentation UnitedStatesGallon EnglishLanguage "Unit of volume commonly used in the United States.")	Merge.kif 7347-7348	United states gallon is internally related to united kingdom gallon

appearance as argument number 2

(termFormat EnglishLanguage UnitedStatesGallon "united states gallon")	domainEnglishFormat.kif 60383-60383
(termFormat ChineseTraditionalLanguage UnitedStatesGallon "美國加侖")	domainEnglishFormat.kif 60384-60384
(termFormat ChineseLanguage UnitedStatesGallon "美国加仑")	domainEnglishFormat.kif 60385-60385

antecedent

(=>
    (and
        (subclass ?X ClothesWashingMachine)
        (laundryApplianceMaximumClothesVolume ?X
            (MeasureFn ?VOL Liter))
        (waterConsumptionPerWashingCycle ?X
            (MeasureFn ?WATER UnitedStatesGallon)))
    (clothesWasherWaterFactor ?X
        (DivisionFn ?WATER
            (MultiplicationFn ?VOL 28.316846592))))

statement

(equal (MeasureFn ?NUMBER UnitedStatesGallon) (MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter))	Merge.kif 7350-7352	equal X united states gallon(s) and X and 3.785411784 liter(s)
(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon))	Merge.kif 7359-7361	equal X quart(s) and X and 4 united states gallon(s)
(defaultMinimumMeasure BathTub (MeasureFn 40 UnitedStatesGallon))	DimensioningAmenities.kif 27-27	The minimum expected value of tub is 40 united states gallon(s)
(defaultMaximumMeasure BathTub (MeasureFn 150 UnitedStatesGallon))	DimensioningAmenities.kif 28-28	The maximum expected value of tub is 150 united states gallon(s)
(defaultMinimumMeasure WhirlpoolTub (MeasureFn 60 UnitedStatesGallon))	DimensioningAmenities.kif 38-38	The minimum expected value of whirlpool tub is 60 united states gallon(s)
(defaultMaximumMeasure WhirlpoolTub (MeasureFn 150 UnitedStatesGallon))	DimensioningAmenities.kif 39-39	The maximum expected value of whirlpool tub is 150 united states gallon(s)
(defaultMinimumMeasure GrecianTub (MeasureFn 60 UnitedStatesGallon))	DimensioningAmenities.kif 49-49	The minimum expected value of grecian tub is 60 united states gallon(s)
(defaultMaximumMeasure GrecianTub (MeasureFn 150 UnitedStatesGallon))	DimensioningAmenities.kif 50-50	The maximum expected value of grecian tub is 150 united states gallon(s)