Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FabricIron
FabricIron

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 21369-21369
(subclass FabricIron ElectricDevice) Mid-level-ontology.kif 21366-21366
(subclass FabricIron HeatingDevice) Mid-level-ontology.kif 21367-21367
(subclass FabricIron HomeAppliance) Mid-level-ontology.kif 21368-21368

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


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

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


(=>
    (instance ?I FabricIron)
    (hasPurpose ?I
        (exists (?IRON)
            (and
                (instance ?IRON Ironing)
                (instrument ?IRON ?I)))))
Mid-level-ontology.kif 21371-21377
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 21379-21385

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


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