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


KB Term:  Term intersection
English Word: 

  Manganese

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