| 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 2485-2486 | |
| (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 1114-1114 | |
| (subclass Filter Device) | Mid-level-ontology.kif 2484-2484 | 过滤 是 设备 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass AbsoluteFilter Filter) | MilitaryDevices.kif 1363-1363 | 绝对过滤器 是 过滤 的 subclass |
| (subclass AirFilter Filter) | Cars.kif 938-938 | AirFilter 是 过滤 的 subclass |
| (subclass CharcoalFilter Filter) | Cars.kif 1683-1683 | CharcoalFilter 是 过滤 的 subclass |
| (subclass FuelFilter Filter) | Cars.kif 917-917 | FuelFilter 是 过滤 的 subclass |
| (termFormat ChineseLanguage Filter "过滤") | domainEnglishFormat.kif 23704-23704 | |
| (termFormat ChineseTraditionalLanguage Filter "過濾") | domainEnglishFormat.kif 23703-23703 | |
| (termFormat EnglishLanguage Filter "filter") | domainEnglishFormat.kif 23702-23702 |
| 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 2488-2496 |
|
|
|