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 1876-1877 | |
(externalImage Aerator "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Faucetaerator..jpg") | pictureList.kif 4479-4479 | |
(subclass Aerator Device) | Mid-level-ontology.kif 1875-1875 | Aerator is a subclass of device |
appearance as argument number 2 |
(termFormat ChineseLanguage Aerator "增氧机") | domainEnglishFormat.kif 5634-5634 | |
(termFormat ChineseTraditionalLanguage Aerator "增氧機") | domainEnglishFormat.kif 5633-5633 | |
(termFormat EnglishLanguage Aerator "aerator") | domainEnglishFormat.kif 5632-5632 |
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 1879-1887 |
|