Strainer
|
|
appearance as argument number 1 |
(documentation Strainer EnglishLanguage "A Strainer is a PorousContainer. It is a Device for Removing Solid Substance from the Liquid of a Mixture.") | Mid-level-ontology.kif 4546-4547 | |
(subclass Strainer PorousContainer) | Mid-level-ontology.kif 4545-4545 | 子類 濾器 and 有孔容器 |
appearance as argument number 2 |
(termFormat ChineseLanguage Strainer "滤器") | domainEnglishFormat.kif 64364-64364 | |
(termFormat ChineseTraditionalLanguage Strainer "濾器") | domainEnglishFormat.kif 64365-64365 | |
(termFormat EnglishLanguage Strainer "strainer") | domainEnglishFormat.kif 64363-64363 |
antecedent |
(=> (instance ?S Strainer) (hasPurpose ?S (exists (?MIX ?SUB ?LIQUID ?REMOVE) (and (instance ?MIX Mixture) (instance ?SUB Substance) (instance ?LIQUID Substance) (part ?SUB ?MIX) (attribute ?SUB Solid) (instance ?REMOVE Removing) (part ?LIQUID ?MIX) (attribute ?LIQUID Liquid) (patient ?REMOVE ?SUB) (result ?REMOVE ?LIQUID) (instrument ?REMOVE ?S))))) |
Mid-level-ontology.kif 4549-4564 |
|