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