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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PorousContainer

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 PorousContainer est une sous-classe de Container

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


(subclass Basket PorousContainer) Mid-level-ontology.kif 4483-4483 Basket est une sous-classe de PorousContainer
(subclass Colander PorousContainer) Mid-level-ontology.kif 4561-4561 Colander est une sous-classe de PorousContainer
(subclass Sieve PorousContainer) Mid-level-ontology.kif 4521-4521 Sieve est une sous-classe de PorousContainer
(subclass Strainer PorousContainer) Mid-level-ontology.kif 4540-4540 Strainer est une sous-classe de PorousContainer
(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 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 is open source software produced by Articulate Software and its partners