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


KB Term:  Term intersection
English Word: 

  Colander

 Sigma KEE - Colander
Colander(colander)

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


(subclass Colander PorousContainer) Mid-level-ontology.kif 5177-5177 Colander is a subclass of porous container
(documentation Colander EnglishLanguage "A Colander is a PorousContainer. It is a Device for Removing Liquid Substance from the Solid Substance of a Mixture.") Mid-level-ontology.kif 5178-5179 Colander is a subclass of porous container

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


(termFormat EnglishLanguage Colander "colander") domainEnglishFormat.kif 64370-64370
(termFormat ChineseLanguage Colander "滤盆") domainEnglishFormat.kif 64371-64371
(termFormat ChineseTraditionalLanguage Colander "濾盆") domainEnglishFormat.kif 64372-64372

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


(=>
    (instance ?C Colander)
    (hasPurpose ?C
        (exists (?MIX ?SUB ?SOLID ?REMOVE)
            (and
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (part ?SUB ?MIX)
                (attribute ?SUB Liquid)
                (instance ?REMOVE Removing)
                (patient ?REMOVE ?SUB)
                (instance ?SOLID Substance)
                (part ?SOLID ?MIX)
                (attribute ?SOLID Solid)
                (result ?REMOVE ?SOLID)
                (instrument ?REMOVE ?C)))))		 Mid-level-ontology.kif 5181-5196 If X is an instance of colander, 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) Z is a part of Y (5) liquid is an attribute of Z (6) V is an instance of removing (7) Z is a patient of V (8) W is an instance of substance (9) W is a part of Y (10) solid is an attribute of W (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