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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 4513-4514
(subclass PorousContainer Container) Mid-level-ontology.kif 4515-4515

appearance as argument number 2

(subclass Basket PorousContainer) Mid-level-ontology.kif 4488-4488
(subclass Colander PorousContainer) Mid-level-ontology.kif 4566-4566
(subclass Sieve PorousContainer) Mid-level-ontology.kif 4526-4526
(subclass Strainer PorousContainer) Mid-level-ontology.kif 4545-4545
(termFormat ChineseLanguage PorousContainer "有孔容器") domainEnglishFormat.kif 64356-64356
(termFormat ChineseTraditionalLanguage PorousContainer "有孔容器") domainEnglishFormat.kif 64357-64357
(termFormat EnglishLanguage PorousContainer "porous container") domainEnglishFormat.kif 64355-64355


    (instance ?PC PorousContainer)
    (exists (?HOLE)
            (instance ?HOLE HoleRegion)
            (hole ?HOLE ?PC))))
Mid-level-ontology.kif 4517-4522

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