Colander
|
|
appearance as argument number 1 |
(documentation Colander EnglishLanguage "A Colander is a PorousContainer. It is a Device for Removing Liquid Substance from the Solid Substance of a Mixture.") | Mid-level-ontology.kif 4562-4563 | |
(subclass Colander PorousContainer) | Mid-level-ontology.kif 4561-4561 | Colander e' uma sub-classe de PorousContainer |
appearance as argument number 2 |
(termFormat ChineseLanguage Colander "滤盆") | domainEnglishFormat.kif 64370-64370 | |
(termFormat ChineseTraditionalLanguage Colander "濾盆") | domainEnglishFormat.kif 64371-64371 | |
(termFormat EnglishLanguage Colander "colander") | domainEnglishFormat.kif 64369-64369 |
antecedent |
(=> (instance ?C Colander) (hasPurpose ?C (exists (?MIX ?SUB ?SOLID ?REMOVE) (and (instance ?MIX Mixture) (instance ?SUB Substance) (part ?SUB ?MIX) (attribute ?SUB Liquid) (instance ?REMOVE Removing) (patient ?REMOVE ?SUB) (instance ?SOLID Substance) (part ?SOLID ?MIX) (attribute ?SOLID Solid) (result ?REMOVE ?SOLID) (instrument ?REMOVE ?C))))) |
Mid-level-ontology.kif 4565-4580 |
|