PorousContainer - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PorousContainer EnglishLanguage "A PorousContainer is a Container with one or more HoleRegions in it, which Water, Solid or Air can pass through.")	Mid-level-ontology.kif 5124-5125
(subclass PorousContainer Container)	Mid-level-ontology.kif 5126-5126	Porous container is a subclass of container

appearance as argument number 2

(subclass Basket PorousContainer)	Mid-level-ontology.kif 5099-5099	Basket is a subclass of porous container
(subclass Sieve PorousContainer)	Mid-level-ontology.kif 5137-5137	Sieve is a subclass of porous container
(subclass Strainer PorousContainer)	Mid-level-ontology.kif 5156-5156	Strainer is a subclass of porous container
(subclass Colander PorousContainer)	Mid-level-ontology.kif 5177-5177	Colander is a subclass of porous container
(termFormat EnglishLanguage PorousContainer "porous container")	domainEnglishFormat.kif 64358-64358	Colander is a subclass of porous container
(termFormat ChineseLanguage PorousContainer "有孔容器")	domainEnglishFormat.kif 64359-64359	Colander is a subclass of porous container
(termFormat ChineseTraditionalLanguage PorousContainer "有孔容器")	domainEnglishFormat.kif 64360-64360	Colander is a subclass of porous container

antecedent

(=>
    (instance ?PC PorousContainer)
    (exists (?HOLE)
        (and
            (instance ?HOLE HoleRegion)
            (hole ?HOLE ?PC))))

If X is an instance of porous container, then there exists Y such that Y is an instance of hole and Y is a hole in X