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 子類 有孔容器 and 容器

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4488-4488 子類 筐，籃 and 有孔容器
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4566-4566 子類 濾盆 and 有孔容器
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4526-4526 子類 筲箕 and 有孔容器
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4545-4545 子類 濾器 and 有孔容器
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