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

KB Term:  Term intersection
English Word: 

Sigma KEE - HairDryer
HairDryer(hair dryer)blow_drier, blow_dryer, hair_drier, hair_dryer, hand_blower

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


(subclass HairDryer DryingDevice) Mid-level-ontology.kif 27683-27683 Hair dryer is a subclass of drying device
(subclass HairDryer ElectricDevice) Mid-level-ontology.kif 27684-27684 Hair dryer is a subclass of electric device
(documentation HairDryer EnglishLanguage "HairDryer is a type of DryingDevice used specifically for Drying Hair") Mid-level-ontology.kif 27685-27686 Hair dryer is a subclass of electric device
(subclass HairDryer BodyCareAppliance) HouseholdAppliances.kif 213-213 Hair dryer is a subclass of body care appliance
(defaultMinimumHeight HairDryer
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 387-387 The minimum expected height of hair dryer is 4 inch(s)
(defaultMaximumHeight HairDryer
    (MeasureFn 8 Inch))		 DimensioningAmenities.kif 388-388 The maximum expected height of hair dryer is 8 inch(s)
(defaultMinimumWidth HairDryer
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 389-389 The minimum expected width of hair dryer is 7 inch(s)
(defaultMaximumWidth HairDryer
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 390-390 The maximum expected width of hair dryer is 10 inch(s)
(defaultMinimumLength HairDryer
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 391-391 The minimum expected length of hair dryer is 3 inch(s)
(defaultMaximumLength HairDryer
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 392-392 The maximum expected length of hair dryer is 4 inch(s)
(defaultMinimumMeasure HairDryer
    (MeasureFn 0.5 PoundMass))		 DimensioningAmenities.kif 393-393 The minimum expected value of hair dryer is 0.5 pound mass(s)
(defaultMaximumMeasure HairDryer
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 394-394 The maximum expected value of hair dryer is 3 pound mass(s)

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


(termFormat EnglishLanguage HairDryer "hair dryer") Mid-level-ontology.kif 27687-27687

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


(=>
    (instance ?HD HairDryer)
    (hasPurpose ?HD
        (exists (?HAIR ?DRYING)
            (and
                (instance ?HAIR Hair)
                (instance ?DRYING Drying)
                (patient ?DRYING ?HAIR)
                (instrument ?DRYING ?HD)))))		 Mid-level-ontology.kif 27689-27697 If X is an instance of hair dryer, then X has the purpose there exist Y, Z such that Y is an instance of hair, Z is an instance of drying, Y is a patient of Z, and X is an instrument for Z
(=>
    (instance ?DEVICE HairDryer)
    (and
        (capability Drying instrument ?DEVICE)
        (hasPurpose ?DEVICE
            (exists (?PROC)
                (and
                    (instance ?PROC Drying)
                    (instrument ?PROC ?DEVICE))))))		 HouseholdAppliances.kif 216-224 If X is an instance of hair dryer, then X is capable of doing drying as a instrument and X has the purpose there exists Y such that Y is an instance of drying and X is an instrument for Y


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