![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation CharcoalFilter EnglishLanguage "A Filter that uses Charcoal to remove impurities from a Gas or Liquid Mixture.") | Cars.kif 1691-1692 | |
(subclass CharcoalFilter Filter) | Cars.kif 1689-1689 | CharcoalFilter è una sottoclasse di Filter |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage CharcoalFilter "charcoal filter") | Cars.kif 1690-1690 |
antecedent |
![]() |
(=> (instance ?CF CharcoalFilter) (exists (?C) (and (subclass ?C Charcoal) (material ?C ?CF)))) |
Cars.kif 1694-1699 |
|
![]() |
![]() |