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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PorousContainer

 Sigma KEE - PorousContainer
PorousContainer(porous container)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4513-4514
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4515-4515 Porous container is a subclass of container

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4488-4488 Basket is a subclass of porous container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4566-4566 Colander is a subclass of porous container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4526-4526 Sieve is a subclass of porous container
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4545-4545 Strainer is a subclass of porous container
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64356-64356
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64357-64357
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64355-64355

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4517-4522


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