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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ironing
Ironing

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


(documentation Ironing EnglishLanguage "Ironing refers to a Smoothing process where a heated Device is used to smooth something") Mid-level-ontology.kif 21438-21439
(subclass Ironing Smoothing) Mid-level-ontology.kif 21437-21437

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


(termFormat EnglishLanguage Ironing "ironing") Mid-level-ontology.kif 21440-21440

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


(=>
    (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
(=>
    (and
        (instance ?I Ironing)
        (patient ?I ?OBJ))
    (exists (?HEAT ?IRON ?PART)
        (and
            (superficialPart ?PART ?OBJ)
            (instance ?HEAT Heating)
            (patient ?HEAT ?IRON)
            (patient ?I ?PART)
            (instrument ?I ?IRON))))		 Mid-level-ontology.kif 21442-21452

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


(=>
    (instance ?BOARD IroningBoard)
    (hasPurpose ?BOARD
        (exists (?IRON ?FABRIC ?OBJ)
            (and
                (instance ?IRON Ironing)
                (patient ?IRON ?OBJ)
                (part ?FABRIC ?OBJ)
                (instance ?FABRIC Fabric)
                (holdsDuring
                    (WhenFn ?IRON)
                    (orientation ?OBJ ?BOARD On))))))		 Mid-level-ontology.kif 21392-21403
(=>
    (instance ?I FabricIron)
    (hasPurpose ?I
        (exists (?IRON)
            (and
                (instance ?IRON Ironing)
                (instrument ?IRON ?I)))))		 Mid-level-ontology.kif 21371-21377
(=>
    (instance ?SVC LaundryService)
    (exists (?CLOTHES ?WASH ?DRY ?IRON)
        (and
            (instance ?CLOTHES Clothing)
            (patient ?SVC ?CLOTHES)
            (subProcess ?WASH ?SVC)
            (instance ?WASH Washing)
            (patient ?WASH ?CLOTHES)
            (result ?WASH
                (attribute ?CLOTHES Clean))
            (subProcess ?DRY ?SVC)
            (instance ?DRY Drying)
            (patient ?DRY ?CLOTHES)
            (instance ?IRON Ironing)
            (subProcess ?IRON ?SVC)
            (patient ?IRON ?CLOTHES)
            (before
                (BeginFn
                    (WhenFn ?WASH))
                (BeginFn
                    (WhenFn ?DRY)))
            (before
                (BeginFn
                    (WhenFn ?DRY))
                (BeginFn
                    (WhenFn ?IRON))))))		 Hotel.kif 1747-1764
(=>
    (instance ?X IroningService)
    (exists (?IRON ?CLOTHES)
        (and
            (instance ?CLOTHES Clothing)
            (instance ?IRON Ironing)
            (patient ?IRON ?CLOTHES)
            (subProcess ?IRON ?X))))		 Hotel.kif 1818-1825


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