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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbsoluteFilter

Sigma KEE - AbsoluteFilter
AbsoluteFilter(absolute filter)

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


(documentation AbsoluteFilter EnglishLanguage "A filter capable of cutting off 100% by weight of solid particles greater than a stated micron size.") MilitaryDevices.kif 1364-1365
(subclass AbsoluteFilter Filter) MilitaryDevices.kif 1363-1363 Absolute filter is a subclass of filter

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


(termFormat ChineseLanguage AbsoluteFilter "绝对过滤器") domainEnglishFormat.kif 5136-5136
(termFormat ChineseTraditionalLanguage AbsoluteFilter "絕對過濾器") domainEnglishFormat.kif 5135-5135
(termFormat EnglishLanguage AbsoluteFilter "absolute filter") domainEnglishFormat.kif 5134-5134

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


(=>
    (and
        (instance ?FILTER AbsoluteFilter)
        (instance ?REMOVE Removing)
        (origin ?REMOVE ?GAS)
        (instance ?GAS GasMixture)
        (patient ?REMOVE ?PARTICLE)
        (attribute ?PARTICLE Solid)
        (instrument ?REMOVE ?FILTER))
    (not
        (part ?PARTICLE ?GAS)))
MilitaryDevices.kif 1379-1389
(=>
    (instance ?FILTER AbsoluteFilter)
    (hasPurpose ?FILTER
        (exists (?REMOVE ?GAS)
            (and
                (instance ?REMOVE Removing)
                (origin ?REMOVE ?GAS)
                (instance ?GAS GasMixture)
                (instrument ?REMOVE ?FILTER)))))
MilitaryDevices.kif 1368-1376


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