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
-------------------------


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 PorousContainer e' uma sub-classe de Container

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4488-4488 Basket e' uma sub-classe de PorousContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4566-4566 Colander e' uma sub-classe de PorousContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4526-4526 Sieve e' uma sub-classe de PorousContainer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4545-4545 Strainer e' uma sub-classe de PorousContainer
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