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

KB Term:  Term intersection
English Word: 

Sigma KEE - FabricIron
FabricIron(iron)iron, smoothing_iron

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


(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 27496-27496 Iron is a subclass of electric device
(subclass FabricIron HeatingDevice) Mid-level-ontology.kif 27497-27497 Iron is a subclass of heating device
(subclass FabricIron HouseUtilityAppliance) Mid-level-ontology.kif 27498-27498 Iron is a subclass of house utility appliance
(documentation FabricIron EnglishLanguage "An iron is a small appliance used in %&Ironing to remove wrinkles from %&Fabric.") Mid-level-ontology.kif 27499-27499 Iron is a subclass of house utility appliance
(subclass FabricIron LaundryAppliance) HouseholdAppliances.kif 640-640 Iron is a subclass of dishwasher
(defaultMinimumHeight FabricIron
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 396-396 The minimum expected height of iron is 4 inch(s)
(defaultMaximumHeight FabricIron
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 397-397 The maximum expected height of iron is 6 inch(s)
(defaultMinimumWidth FabricIron
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 398-398 The minimum expected width of iron is 6 inch(s)
(defaultMaximumWidth FabricIron
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 399-399 The maximum expected width of iron is 10 inch(s)
(defaultMinimumLength FabricIron
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 400-400 The minimum expected length of iron is 3 inch(s)
(defaultMaximumLength FabricIron
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 401-401 The maximum expected length of iron is 5 inch(s)
(defaultMinimumMeasure FabricIron
    (MeasureFn 2 PoundMass))		 DimensioningAmenities.kif 402-402 The minimum expected value of iron is 2 pound mass(s)
(defaultMaximumMeasure FabricIron
    (MeasureFn 5 PoundMass))		 DimensioningAmenities.kif 403-403 The maximum expected value of iron is 5 pound mass(s)

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


(termFormat EnglishLanguage FabricIron "iron") Mid-level-ontology.kif 27494-27494

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


(=>
    (instance ?I FabricIron)
    (hasPurpose ?I
        (exists (?IRON)
            (and
                (instance ?IRON Ironing)
                (instrument ?IRON ?I)))))		 Mid-level-ontology.kif 27501-27507 If X is an instance of iron, then X has the purpose there exists Y such that Y is an instance of ironing and X is an instrument for Y
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))		 Mid-level-ontology.kif 27509-27515 If X is an instance of iron, then there exists Y such that the bottom of X is Y, Y is made of metal, and flat is an attribute of Y

consequent
-------------------------


(=>
    (and
        (instance ?I Ironing)
        (patient ?I ?OBJ)
        (part ?FABRIC ?OBJ)
        (instance ?FABRIC Fabric))
    (exists (?IRON ?HEAT)
        (and
            (instance ?HEAT Heating)
            (patient ?HEAT ?IRON)
            (instance ?IRON FabricIron)
            (instrument ?I ?IRON))))		 Mid-level-ontology.kif 27584-27595 If X is an instance of ironing, Y is a patient of X, Z is a part of Y, and Z is an instance of fabric, then there exist W, V such that V is an instance of heating, W is a patient of V, W is an instance of iron, and W is an instrument for X


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