FridgeFreezer - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FridgeFreezer Freezer)	HouseholdAppliances.kif 809-809	Fridge freezer is a subclass of freezer
(subclass FridgeFreezer Refrigerator)	HouseholdAppliances.kif 810-810	Fridge freezer is a subclass of refrigerator
(documentation FridgeFreezer EnglishLanguage "A combination of Freezer and a Refrigerator")	HouseholdAppliances.kif 811-811	Fridge freezer is a subclass of refrigerator

appearance as argument number 2

(termFormat EnglishLanguage FridgeFreezer "fridge freezer")

antecedent

(=>
    (and
        (attribute ?X Compact)
        (freshFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME1 Liter))
        (frozenFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME2 Liter))
        (equal ?TOTAL
            (AdditionFn ?VOLUME1 ?VOLUME2))
        (instance ?X FridgeFreezer))
    (lessThanOrEqualTo ?TOTAL 219.45))