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


KB Term:  Term intersection
English Word: 

  Sieve

 Sigma KEE - Sieve
Sieve(sieve)

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


(documentation Sieve EnglishLanguage "A Sieve is a PorousContainer. It is a Device for Removing unwanted Substance from desireable ones through the HoleRegions of the Sieve.") Mid-level-ontology.kif 5135-5136
(subclass Sieve PorousContainer) Mid-level-ontology.kif 5137-5137 Sieve is a subclass of porous container

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


(termFormat EnglishLanguage Sieve "sieve") domainEnglishFormat.kif 64362-64362
(termFormat ChineseLanguage Sieve "筲箕") domainEnglishFormat.kif 64363-64363
(termFormat ChineseTraditionalLanguage Sieve "筲箕") domainEnglishFormat.kif 64364-64364

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


(=>
    (instance ?S Sieve)
    (hasPurpose ?S
        (exists (?REMOVE ?MIX ?SUB ?HOLE ?A)
            (and
                (instance ?REMOVE Removing)
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (part ?SUB ?MIX)
                (patient ?REMOVE ?SUB)
                (part ?HOLE ?S)
                (instrument ?REMOVE ?HOLE)
                (instance ?A Human)
                (agent ?REMOVE ?A)
                (not
                    (wants ?A ?SUB))))))		 Mid-level-ontology.kif 5139-5154 If X is an instance of sieve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of removing (3) Z is an instance of mixture (4) W is an instance of substance (5) W is a part of Z (6) W is a patient of Y (7) V is a part of X (8) V is an instrument for Y (9) U is an instance of human (10) U is an agent of Y (11) U doesn't want W


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