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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Microwave
Microwave

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


(documentation Microwave EnglishLanguage "Microwave is an ElectricDevice that heats food by passing an electromagnetic wave through it") Mid-level-ontology.kif 24750-24751
(subclass Microwave ElectricDevice) Mid-level-ontology.kif 24749-24749 Microwave电器subclass

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


(termFormat EnglishLanguage Microwave "microwave") Mid-level-ontology.kif 24752-24752

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


(=>
    (and
        (instance ?M Microwave)
        (attribute ?M DeviceOn))
    (exists (?PROC)
        (and
            (instance ?PROC RadiatingElectromagnetic)
            (instrument ?PROC ?M))))
Mid-level-ontology.kif 24764-24771
(=>
    (instance ?M Microwave)
    (hasPurpose ?M
        (exists (?FOOD ?HEATING)
            (and
                (instance ?FOOD PreparedFood)
                (instance ?HEATING Heating)
                (instrument ?HEATING ?M)
                (patient ?HEATING ?FOOD)))))
Mid-level-ontology.kif 24754-24762


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