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 | Strainer est une sous-classe de PorousContainer |
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 |
|