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


KB Term:  Term intersection
English Word: 

  SteeringBox

 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 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