Sieve - Sigma Knowledge base Browser

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 4519-4520
(subclass Sieve PorousContainer)	Mid-level-ontology.kif 4521-4521	Sieve is a subclass of porous container

appearance as argument number 2

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

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
                    (desires ?A ?SUB))))))

Mid-level-ontology.kif 4523-4538

If a physical is an instance of sieve,
then the physical has the purpose there exist an entity, another entity,, , the physicalUB,, , a fourth entity and a fifth entity such that the entity is an instance of removing and the other entity is an instance of mixture and the physicalUB is an instance of substance and the physicalUB is a part of the other entity and the physicalUB is a patient of the entity and the fourth entity is a part of the physical and the fourth entity is an instrument for the entity and the fifth entity is an instance of human and the fifth entity is an agent of the entity and the fifth entity doesn't desire the physicalUB

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: