Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CharcoalFilter
CharcoalFilter(charcoal filter)charcoal_filter

appearance as argument number 1

(documentation CharcoalFilter EnglishLanguage "A Filter that uses Charcoal to remove impurities from a Gas or Liquid Mixture.") Cars.kif 1680-1681
(subclass CharcoalFilter Filter) Cars.kif 1678-1678 Charcoal filter is a subclass of filter

appearance as argument number 2

(termFormat EnglishLanguage CharcoalFilter "charcoal filter") Cars.kif 1679-1679 "charcoal filter" is the printable form of charcoal filter in english language


    (instance ?CF CharcoalFilter)
    (exists (?C)
            (subclass ?C Charcoal)
            (material ?C ?CF))))
Cars.kif 1683-1688

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners