TreeView Knowledge Base Browser - Horizontal

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Horizontal

Horizontal(橫)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17041-17041	相反的屬性橫 and 垂直
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3810-3811
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17042-17043
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17040-17040	例橫 and PositionalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28557-28557
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28556-28556
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28555-28555
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 532-532

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17045-17047	方位 Object, Object and 橫方位 Object, Object and 橫
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1651-1672	例 Process and 龍捲風例 Process and 旋轉例 Object and 空氣例 ProcessRAN and 易位子過程 Process and Process 子過程 ProcessRAN and Process 患者 ProcessRAN and Object 方向 ProcessRAN and 橫 Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject 例 Object and GeographicArea Process 是 located 在 Object 部分 SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment 上 ProcessOP and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 雲底部 SelfConnectedObject and SelfConnectedObject 空間的符合 ProcessOP and SelfConnectedObject 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	visibility 在 Region 期間 TimeInterval 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 例 TimeInterval and 一天的時間例 Process and 看著例 Object and Object Object 是黑色的 color agent Process and AutonomousAgent 患者 Process and Object 方位 AutonomousAgent, Object and 橫 Process 是 located 在 Region 期間何時 Process and TimeInterval 例 Object and Object RealNumber 距離 AutonomousAgent, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	visibility 在 Region 期間 TimeInterval 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 例 TimeInterval and 晚上的時間例 Process and 看著例 Object and Region attribute Object and 發光的測量 Object and 測量 1000.0 and 坎德拉 agent Process and AutonomousAgent 患者 Process and Object 方位 AutonomousAgent, Object and 橫 Process 是 located 在 Region 期間何時 Process and TimeInterval 例 Object and Object RealNumber 距離 AutonomousAgent, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17045-17047	方位 Object, Object and 橫方位 Object, Object and 橫
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	visibility 在 Region 期間 TimeInterval 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure Process AutonomousAgent, Object and RealNumber 例 Process and 看著 agent Process and AutonomousAgent 患者 Process and Object 方位 AutonomousAgent, Object and 橫期間何時 Process and TimeInterval Process 是 located 在 Region 距離 AutonomousAgent, Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 560-570	例 Entity and 氣旋風暴 Process Entity, Process and Process 例 Process and 旋轉例 Entity and 空氣例 Process and 易位子過程 Process and Process 子過程 Process and Process 患者 Process and Entity 方向 Process and 橫

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