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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirFilter
AirFilter(air filter)air_cleaner, air_filter, filter_tip

appearance as argument number 1
-------------------------


(documentation AirFilter EnglishLanguage "An air filter is designed to remove Solid impurities from Air.") Cars.kif 940-941
(subclass AirFilter Filter) Cars.kif 938-938 Air filter is a subclass of filter

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AirFilter "air filter") Cars.kif 939-939

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


(=>
    (instance ?FILTER AirFilter)
    (hasPurpose ?FILTER
        (exists (?REMOVE ?AIR ?NONAIR ?MIX)
            (and
                (instance ?REMOVE Removing)
                (part ?AIR ?MIX)
                (instance ?AIR Air)
                (not
                    (instance ?NONAIR Air))
                (attribute ?NONAIR Solid)
                (patient ?REMOVE ?NONAIR)
                (part ?NONAIR ?MIX)
                (origin ?REMOVE ?MIX)
                (instance ?MIX Mixture)
                (instrument ?REMOVE ?FILTER)))))
Cars.kif 943-958


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners