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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Filter
Filter(过滤)

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


(documentation Filter EnglishLanguage "A Device whose purpose is to remove part of a Mixture that is passed through the Filter.") Mid-level-ontology.kif 2485-2486
(externalImage Filter "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 75/ Air_filter%2C_opel_astra%281%29.JPG/ 180px-Air_filter%2C_opel_astra%281%29.JPG") pictureList.kif 1114-1114
(subclass Filter Device) Mid-level-ontology.kif 2484-2484 过滤设备subclass

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


(subclass AbsoluteFilter Filter) MilitaryDevices.kif 1363-1363 绝对过滤器过滤subclass
(subclass AirFilter Filter) Cars.kif 938-938 AirFilter过滤subclass
(subclass CharcoalFilter Filter) Cars.kif 1683-1683 CharcoalFilter过滤subclass
(subclass FuelFilter Filter) Cars.kif 917-917 FuelFilter过滤subclass
(termFormat ChineseLanguage Filter "过滤") domainEnglishFormat.kif 23704-23704
(termFormat ChineseTraditionalLanguage Filter "過濾") domainEnglishFormat.kif 23703-23703
(termFormat EnglishLanguage Filter "filter") domainEnglishFormat.kif 23702-23702

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


(=>
    (instance ?FILTER Filter)
    (hasPurpose ?FILTER
        (exists (?REMOVE ?M)
            (and
                (instance ?REMOVE Removing)
                (origin ?REMOVE ?M)
                (instance ?M Mixture)
                (instrument ?REMOVE ?FILTER)))))
Mid-level-ontology.kif 2488-2496


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