Flat - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2775-2779
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2781-2781	例平面 and ShapeAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25597-25597	子屬性 DiskShaped and 平面
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24182-24182
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24181-24181
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24180-24180

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2782-2795

attribute SelfConnectedObject and 平面
SelfConnectedObject SelfConnectedObject, RealNumber, RealNumber, RealNumber and UnitOfMeasure 側 SelfConnectedObject and SelfConnectedObject 側 SelfConnectedObject and SelfConnectedObject 空間的符合 SelfConnectedObject and SelfConnectedObject 等於 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 高度 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and 乘法 2.0 and RealNumber 比較多 RealNumber and 乘法 2.0 and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25188-25194	例 SelfConnectedObject and FabricIron CorpuscularObject 底部 CorpuscularObject and SelfConnectedObject 材料 Metal and CorpuscularObject attribute CorpuscularObject and 平面
No TPTP formula. May not be expressible in strict first order.	Media.kif 1089-1091	例 Physical and Blackboard Physical 是平面
No TPTP formula. May not be expressible in strict first order.	Media.kif 1135-1137	例 Physical and OpticalDisc Physical 是平面
No TPTP formula. May not be expressible in strict first order.	Media.kif 1069-1071	例 Physical and PrintedSheet Physical 是平面
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25621-25623	例 Physical and Whiteboard Physical 是平面
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	例 Physical and 刨床有目的 Physical and entity entity, entity, entity, entity and entity 例 entity and Cutting 儀器 entity and Physical 資源 entity and entity 例 entity and Object 材料 entity and 木結果 entity and entity 例 entity and Object 材料木 and entity attribute entity and 平面例 entity and UnitOfLength 高度 entity and 測量 entity and entity 高度 entity and 測量 entity and entity 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 389-396	例 Process and ComputerMouse 的 operating Object 例 Object and Object attribute Object and 平面 Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5233-5239	例 Object and 檀香 ObjectOLE 例 ObjectOLE and 鞋底部分 ObjectOLE and Object attribute ObjectOLE and 平面
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 489-491	例 Object and TouchScreen attribute Object and 平面
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4768-4770	例 Object and 單板 attribute Object and 平面
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26727-26736	例 Physical and Easel 有目的 Physical and entity entity 例 entity and Artifact attribute entity and 平面例 entity and Putting 患者 entity and entity 目的地 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26217-26231	例 Physical and MultimediaProjector 有目的 Physical and entity entity and entity 例 entity and RadiatingLight 儀器 entity and Physical 患者 entity and entity 例 entity and 視頻錄製例 entity and Image 目的地 entity and entity 例 entity and Artifact attribute entity and 平面連接的 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	例 Object and WetBar Object Object 例 Object and 洗手盆部分 Object and Object 例 Object and Object attribute Object and 平面有目的 Object and entity entity 例 entity and Making 結果 entity and entity 例 entity and 已準備食物例 entity and Beverage entity 是 located 在 Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2826-2851	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3031-3058	snow 的下降 rate 在 GeographicArea 期間 TimeInterval 是 FunctionQuantity Transfer Object, SelfConnectedObject, entity, SelfConnectedObject and entity 例 Transfer and 下雪 Transfer 是 located 在 GeographicArea 期間何時 Transfer and TimeInterval 例 Object and Snow objectTransferred Transfer and Object 例 SelfConnectedObject and 板或塊底部 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 平面位於 SelfConnectedObject and GeographicArea 持有期間開始 TimeInterval and entity 例 entity and Object 位於 entity and SelfConnectedObject 持有期間結束 TimeInterval and 位於 Object and SelfConnectedObject 上 entity and Object 對於 SelfConnectedObject 從 entity 的 depth 是 entity 等於 entity 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: