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

KB Term:  Term intersection
English Word: 

Sigma KEE - freshFoodCompartmentVolume
freshFoodCompartmentVolume

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


(instance freshFoodCompartmentVolume BinaryPredicate) HouseholdAppliances.kif 1362-1362 fresh food compartment volume is an instance of binary predicate
(instance freshFoodCompartmentVolume SingleValuedRelation) HouseholdAppliances.kif 1363-1363 fresh food compartment volume is an instance of single valued relation
(instance freshFoodCompartmentVolume PartialValuedRelation) HouseholdAppliances.kif 1364-1364 fresh food compartment volume is an instance of partial valued relation
(domain freshFoodCompartmentVolume 1 Refrigerator) HouseholdAppliances.kif 1366-1366 The number 1 argument of fresh food compartment volume is an instance of refrigerator
(domain freshFoodCompartmentVolume 2 VolumeMeasure) HouseholdAppliances.kif 1367-1367 The number 2 argument of fresh food compartment volume is an instance of volume measure
(documentation freshFoodCompartmentVolume EnglishLanguage "The volume of the fresh food compartment in a Refrigerator.") HouseholdAppliances.kif 1369-1369 The number 2 argument of fresh food compartment volume is an instance of volume measure

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


(termFormat EnglishLanguage freshFoodCompartmentVolume "fresh food compartment volume") HouseholdAppliances.kif 1370-1370

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


(=>
    (and
        (attribute ?X Compact)
        (freshFoodCompartmentVolume ?X
            (MeasureFn ?VOLUME Liter))
        (instance ?X Refrigerator)
        (not
            (instance ?X Freezer)))
    (lessThanOrEqualTo ?VOLUME 219.45))		 HouseholdAppliances.kif 1396-1404 If compact is an attribute of X, fresh food compartment volume X and Y liter(s), X is an instance of refrigerator, and X is not an instance of freezer, 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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners