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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Filter

 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 2520-2521
(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 1113-1113
(subclass Filter Device) Mid-level-ontology.kif 2519-2519 过滤 是 设备 的 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 23714-23714
(termFormat ChineseTraditionalLanguage Filter "過濾") domainEnglishFormat.kif 23713-23713
(termFormat EnglishLanguage Filter "filter") domainEnglishFormat.kif 23712-23712

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 2523-2531

consequent
-------------------------


(=>
    (instance ?CM CoffeeMaking)
    (exists (?R ?LM ?CG ?W ?F ?C)
        (and
            (subProcess ?R ?CM)
            (instance ?R Removing)
            (origin ?R ?LM)
            (instance ?LM LiquidMixture)
            (part ?W ?LM)
            (instance ?W DrinkingWater)
            (part ?CG ?LM)
            (instance ?CG CoffeeGrind)
            (instrument ?R ?F)
            (instance ?F Filter)
            (result ?R ?C)
            (instance ?C Coffee))))		 Food.kif 686-701
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL Collection)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (member ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (located ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))		 Food.kif 799-834


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 3.0 is open source software produced by Articulate Software and its partners