|
|
   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 24770-24771 | |
| (subclass Microwave ElectricDevice) | Mid-level-ontology.kif 24769-24769 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Microwave "microwave") | Mid-level-ontology.kif 24772-24772 |
| antecedent |
|
|
| (=> (and (instance ?M Microwave) (attribute ?M DeviceOn)) (exists (?PROC) (and (instance ?PROC RadiatingElectromagnetic) (instrument ?PROC ?M)))) |
Mid-level-ontology.kif 24784-24791 | |
| (=> (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 24774-24782 |
|
|
|