| Aerator(aerator)
| | aerator, blower |
| appearance as argument number 1 |
|
|
| (documentation Aerator EnglishLanguage "A Device whose purpose is to mix Substances with Air.") | Mid-level-ontology.kif 1949-1950 | |
| (externalImage Aerator "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Faucetaerator..jpg") | pictureList.kif 4478-4478 | |
| (subclass Aerator Device) | Mid-level-ontology.kif 1948-1948 | Aerator is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Aerator "增氧机") | domainEnglishFormat.kif 5643-5643 | |
| (termFormat ChineseTraditionalLanguage Aerator "增氧機") | domainEnglishFormat.kif 5642-5642 | |
| (termFormat EnglishLanguage Aerator "aerator") | domainEnglishFormat.kif 5641-5641 |
| antecedent |
|
|
| (=> (instance ?AERATOR Aerator) (hasPurpose ?AERATOR (exists (?COMBINE ?AIR) (and (instance ?COMBINE Combining) (resource ?COMBINE ?AIR) (instance ?AIR Air) (instrument ?COMBINE ?AERATOR))))) |
Mid-level-ontology.kif 1952-1960 |
|
|
|
|