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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CharcoalFilter

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

antecedent
-------------------------


(=>
    (instance ?CF CharcoalFilter)
    (exists (?C)
        (and
            (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