Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CharcoalFilter(charcoal filter) |
| appearance as argument number 1 |
|
| (subclass CharcoalFilter Filter) | Cars.kif 1570-1570 | Charcoal filter is a subclass of filter |
| (documentation CharcoalFilter EnglishLanguage "A Filter that uses Charcoal to remove impurities from a Gas or Liquid Mixture.") | Cars.kif 1572-1573 | Charcoal filter is a subclass of filter |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CharcoalFilter "charcoal filter") | Cars.kif 1571-1571 |
| antecedent |
|
|
| (=> (instance ?CF CharcoalFilter) (exists (?C) (and (subclass ?C Charcoal) (material ?C ?CF)))) |
Cars.kif 1575-1580 | If X is an instance of charcoal filter, then there exists Y such that Y is a subclass of charcoal and X is made of Y |
|