Container - Sigma Knowledge base Browser

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4454-4454	子類袋 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4472-4472	子類盒 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4150-4150	子類抽屜櫃或櫃子 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4154-4154	子類棺材 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4164-4164	子類隔室 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4668-4668	子類信封 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4678-4678	子類液體容器 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1654-1654	子類皮套 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4176-4176	子類郵箱 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2318-2318	子類烹飪烤箱 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11388-11388	子類 Pericardium and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4515-4515	子類有孔容器 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2349-2349	子類鍋或杅 and 容器
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5155-5155	子類產品包裝 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1121-1121	子類彈丸殼 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2344-2344	子類冰箱 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2721-2721	子類安全的容器 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4673-4673	子類旅行集裝箱 and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1666-1666	子類廢紙簍 and 容器
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

例 Physical and 容器
有目的 Physical and entity 包含 Physical and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1624-1626	attribute Object and 空容器例 Object and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1642-1644	attribute Object and 容器滿了例 Object and 容器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4168-4174	例 Object and 隔室 Object 例 Object and 容器等於 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	例 Physical and 熱封機有目的 Physical and entity entity, entity and entity 例 entity and 容器例 entity and 塑料例 entity and 關閉例 entity and Heating 儀器 entity and Physical 儀器 entity and entity agent entity and Physical 患者 entity and entity 結果 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4019-4027	例 SelfConnectedObject and 蓋子 SelfConnectedObject 例 SelfConnectedObject and 容器部分 SelfConnectedObject and SelfConnectedObject 能力關閉, 儀器 and SelfConnectedObject 能力開盤, 儀器 and SelfConnectedObject 上 SelfConnectedObject and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17538-17549	例 Process and 澆注 Object Object and Entity 起源 Process and Object 目的地 Process and Entity 例 Object and 容器例 Entity and 容器等於 Object and Entity 患者 Process and Object attribute Object and 液體例 Object and Substance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2830-2855	rain 的 rate 在 GeographicArea 期間 TimeInterval 是 FunctionQuantity Transfer Collection, Physical, SelfConnectedObject, entity, SelfConnectedObject and TransferFALL 例 Transfer and 下雨 Transfer 是 located 在 GeographicArea 期間何時 Transfer and TimeInterval 例 Collection and Collection objectTransferred Transfer and Collection 例 Physical and Water 會員 Physical and Collection 例 SelfConnectedObject and 容器底部 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 平面位於 SelfConnectedObject and GeographicArea 持有期間開始 TimeInterval and attribute SelfConnectedObject and 空容器持有期間結束 TimeInterval and 位於 Collection and SelfConnectedObject 上 entity and Collection 對於 SelfConnectedObject 從 entity 的 depth 是 TransferFALL 等於 TransferFALL and 乘法 TimeInterval and FunctionQuantity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: