| Microwave(microwave) | | microwave, microwave_oven |
| appearance as argument number 1 |
|
|
| (documentation Microwave EnglishLanguage "Microwave is an ElectricDevice that heats food by passing an electromagnetic wave through it") | Food.kif 351-352 | |
| (subclass Microwave ElectricDevice) | Food.kif 350-350 | Microwave is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Microwave "microwave") | Food.kif 353-353 |
| antecedent |
|
|
| (=> (and (instance ?M Microwave) (attribute ?M DeviceOn)) (exists (?PROC) (and (instance ?PROC RadiatingElectromagnetic) (instrument ?PROC ?M)))) |
Food.kif 365-372 |
|
| (=> (instance ?M Microwave) (hasPurpose ?M (exists (?FOOD ?HEATING) (and (instance ?FOOD PreparedFood) (instance ?HEATING Heating) (instrument ?HEATING ?M) (patient ?HEATING ?FOOD))))) |
Food.kif 355-363 |
|
|
|
|