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


KB Term:  Term intersection
English Word: 

  frozenFoodCompartmentVolume

 Sigma KEE - frozenFoodCompartmentVolume
frozenFoodCompartmentVolume

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


(instance frozenFoodCompartmentVolume BinaryPredicate) HouseholdAppliances.kif 1376-1376 frozen food compartment volume is an instance of binary predicate
(instance frozenFoodCompartmentVolume SingleValuedRelation) HouseholdAppliances.kif 1377-1377 frozen food compartment volume is an instance of single valued relation
(instance frozenFoodCompartmentVolume PartialValuedRelation) HouseholdAppliances.kif 1378-1378 frozen food compartment volume is an instance of partial valued relation
(domain frozenFoodCompartmentVolume 1 Freezer) HouseholdAppliances.kif 1380-1380 The number 1 argument of frozen food compartment volume is an instance of freezer
(domain frozenFoodCompartmentVolume 2 VolumeMeasure) HouseholdAppliances.kif 1381-1381 The number 2 argument of frozen food compartment volume is an instance of volume measure
(documentation frozenFoodCompartmentVolume EnglishLanguage "The volume of the froozen food compartment in a Freezer.") HouseholdAppliances.kif 1383-1383 The number 2 argument of frozen food compartment volume is an instance of volume measure

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


(termFormat EnglishLanguage frozenFoodCompartmentVolume "frozen food compartment volume") HouseholdAppliances.kif 1384-1384

antecedent
-------------------------


(=>
    (and
        (attribute ?X Compact)
        (frozenFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME Liter))
        (instance ?X Freezer)
        (not
            (instance ?X Refrigerator)))
    (lessThanOrEqualTo ?VOLUME 219.45))		 HouseholdAppliances.kif 1408-1416 If compact is an attribute of X, frozen food compartment volume X and Y liter(s), X is an instance of freezer, and X is not an instance of refrigerator, then Y is less than or equal to 219.45
(=>
    (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))		 HouseholdAppliances.kif 1422-1432 If compact is an attribute of X, fresh food compartment volume X and Y liter(s), frozen food compartment volume X and Z liter(s), equal W and (Y and Z), and X is an instance of fridge freezer, then W is less than or equal to 219.45


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