CharcoalFilter
|
|
appearance as argument number 1 |
(documentation CharcoalFilter EnglishLanguage "A Filter that uses Charcoal to remove impurities from a Gas or Liquid Mixture.") | Cars.kif 1685-1686 | |
(subclass CharcoalFilter Filter) | Cars.kif 1683-1683 | CharcoalFilter は Filter の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage CharcoalFilter "charcoal filter") | Cars.kif 1684-1684 |
antecedent |
(=> (instance ?CF CharcoalFilter) (exists (?C) (and (subclass ?C Charcoal) (material ?C ?CF)))) |
Cars.kif 1688-1693 |