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


KB Term:  Term intersection
English Word: 

  Strainer

 Sigma KEE - Strainer
Strainer(strainer)

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


(subclass Strainer PorousContainer) Mid-level-ontology.kif 5156-5156 Strainer is a subclass of porous container
(documentation Strainer EnglishLanguage "A Strainer is a PorousContainer. It is a Device for Removing Solid Substance from the Liquid of a Mixture.") Mid-level-ontology.kif 5157-5158 Strainer is a subclass of porous container

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


(termFormat EnglishLanguage Strainer "strainer") domainEnglishFormat.kif 64366-64366
(termFormat ChineseLanguage Strainer "滤器") domainEnglishFormat.kif 64367-64367
(termFormat ChineseTraditionalLanguage Strainer "濾器") domainEnglishFormat.kif 64368-64368

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


(=>
    (instance ?S Strainer)
    (hasPurpose ?S
        (exists (?MIX ?SUB ?LIQUID ?REMOVE)
            (and
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (instance ?LIQUID Substance)
                (part ?SUB ?MIX)
                (attribute ?SUB Solid)
                (instance ?REMOVE Removing)
                (part ?LIQUID ?MIX)
                (attribute ?LIQUID Liquid)
                (patient ?REMOVE ?SUB)
                (result ?REMOVE ?LIQUID)
                (instrument ?REMOVE ?S)))))		 Mid-level-ontology.kif 5160-5175 If X is an instance of strainer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) W is an instance of substance (5) Z is a part of Y (6) solid is an attribute of Z (7) V is an instance of removing (8) W is a part of Y (9) liquid is an attribute of W (10) Z is a patient of V (11) W is a result of V (12) X is an instrument for V


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners