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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Brandy

 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 子類 過濾 and Device

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


(subclass AbsoluteFilter Filter) MilitaryDevices.kif 1363-1363 子類 絕對過濾器 and 過濾
(subclass AirFilter Filter) Cars.kif 938-938 子類 AirFilter and 過濾
(subclass CharcoalFilter Filter) Cars.kif 1683-1683 子類 CharcoalFilter and 過濾
(subclass FuelFilter Filter) Cars.kif 917-917 子類 FuelFilter and 過濾
(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