Filter |
appearance as argument number 1 |
(documentation Filter EnglishLanguage "A Device whose purpose is to remove part of a Mixture that is passed through the Filter.") | Mid-level-ontology.kif 2513-2514 | |
(externalImage Filter "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 75/ Air_filter%2C_opel_astra%281%29.JPG/ 180px-Air_filter%2C_opel_astra%281%29.JPG") | pictureList.kif 1113-1113 | |
(subclass Filter Device) | Mid-level-ontology.kif 2512-2512 |
appearance as argument number 2 |
(subclass AbsoluteFilter Filter) | MilitaryDevices.kif 1363-1363 | |
(subclass AirFilter Filter) | Cars.kif 938-938 | |
(subclass CharcoalFilter Filter) | Cars.kif 1689-1689 | |
(subclass FuelFilter Filter) | Cars.kif 917-917 | |
(termFormat ChineseLanguage Filter "过滤") | domainEnglishFormat.kif 23714-23714 | |
(termFormat ChineseTraditionalLanguage Filter "過濾") | domainEnglishFormat.kif 23713-23713 | |
(termFormat EnglishLanguage Filter "filter") | domainEnglishFormat.kif 23712-23712 |
antecedent |
(=> (instance ?FILTER Filter) (hasPurpose ?FILTER (exists (?REMOVE ?M) (and (instance ?REMOVE Removing) (origin ?REMOVE ?M) (instance ?M Mixture) (instrument ?REMOVE ?FILTER))))) |
Mid-level-ontology.kif 2516-2524 |
consequent |