Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PorousContainer
PorousContainer

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 4508-4509
(subclass PorousContainer Container) Mid-level-ontology.kif 4510-4510

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


(subclass Basket PorousContainer) Mid-level-ontology.kif 4483-4483
(subclass Colander PorousContainer) Mid-level-ontology.kif 4561-4561
(subclass Sieve PorousContainer) Mid-level-ontology.kif 4521-4521
(subclass Strainer PorousContainer) Mid-level-ontology.kif 4540-4540
(termFormat ChineseLanguage PorousContainer "有孔容器") domainEnglishFormat.kif 64358-64358
(termFormat ChineseTraditionalLanguage PorousContainer "有孔容器") domainEnglishFormat.kif 64359-64359
(termFormat EnglishLanguage PorousContainer "porous container") domainEnglishFormat.kif 64357-64357

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


(=>
    (instance ?PC PorousContainer)
    (exists (?HOLE)
        (and
            (instance ?HOLE HoleRegion)
            (hole ?HOLE ?PC))))
Mid-level-ontology.kif 4512-4517


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