FabricIron - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FabricIron EnglishLanguage "An iron is a small appliance used in %&Ironing to remove wrinkles from %&Fabric.")	Mid-level-ontology.kif 26298-26298
(subclass FabricIron ElectricDevice)	Mid-level-ontology.kif 26295-26295	Iron is a subclass of electric device
(subclass FabricIron HeatingDevice)	Mid-level-ontology.kif 26296-26296	Iron is a subclass of heating device
(subclass FabricIron HouseUtilityAppliance)	Mid-level-ontology.kif 26297-26297	Iron is a subclass of house utility appliance

appearance as argument number 2

(termFormat EnglishLanguage FabricIron "iron")

Mid-level-ontology.kif 26293-26293

antecedent

(=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I)))))	Mid-level-ontology.kif 26300-26306	If a physical is an instance of iron, then the physical has the purpose there exists the physicalRON such that the physicalRON is an instance of ironing and the physical is an instrument for the physicalRON
(=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat))))	Mid-level-ontology.kif 26308-26314	If a self connected object is an instance of iron, then there exists a corpuscular object such that the bottom of the self connected object is the corpuscular object and the corpuscular object is made of metal and flat is an attribute of the corpuscular object

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

If a process is an instance of ironing and an object is a patient of the process and another object is a part of the object and the other object is an instance of fabric,
then there exist the processRON and another process such that the other process is an instance of heating and the processRON is a patient of the other process and the processRON is an instance of iron and the processRON is an instrument for the process

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: