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 25467-25467
(subclass FabricIron ElectricDevice)	Mid-level-ontology.kif 25464-25464	Iron is a subclass of electric device
(subclass FabricIron HeatingDevice)	Mid-level-ontology.kif 25465-25465	Iron is a subclass of heating device
(subclass FabricIron HouseUtilityAppliance)	Mid-level-ontology.kif 25466-25466	Iron is a subclass of house utility appliance

appearance as argument number 2

(termFormat EnglishLanguage FabricIron "iron")

Mid-level-ontology.kif 25462-25462

antecedent

(=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I)))))	Mid-level-ontology.kif 25469-25475	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 25477-25483	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 25552-25563

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: