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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Container

 Sigma KEE - Container
Container(容器)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4445-4448
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1717-1717
No TPTP formula. May not be expressible in strict first order. pictureList.kif 34-34
No TPTP formula. May not be expressible in strict first order. pictureList.kif 35-35
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4444-4444 容器 是 持有人 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4454-4454 袋 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4472-4472 盒 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4150-4150 抽屉柜或柜子 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4154-4154 棺材 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4164-4164 隔室 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4668-4668 信封 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4678-4678 液体容器 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1654-1654 皮套 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4176-4176 邮箱 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2318-2318 烹饪烤箱 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11388-11388 Pericardium 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4515-4515 有孔容器 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2349-2349 锅或杅 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 5155-5155 产品包装 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1121-1121 弹丸壳 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2344-2344 冰箱 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2721-2721 安全的容器 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4673-4673 旅行集装箱 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1666-1666 废纸篓 是 容器 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16896-16896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16895-16895
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16894-16894

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


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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1624-1626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1642-1644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4168-4174
No TPTP formula. May not be expressible in strict first order. Economy.kif 5163-5177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4019-4027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17538-17549
No TPTP formula. May not be expressible in strict first order. Weather.kif 2830-2855


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