TreeView Knowledge Base Browser - DirectionalAttribute

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DirectionalAttribute

Sigma KEE - DirectionalAttribute

DirectionalAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3802-3803
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17001-17002
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10864-10864
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9984-9984
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17000-17000	子類 DirectionalAttribute and PositionalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17022-17022	例東 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17011-17011	例北 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3648-3648	例東北 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3682-3682	例西北 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17015-17015	例南 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3659-3659	例東南 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3670-3670	例西南 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17025-17025	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1237-1237
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1695-1695
No TPTP formula. May not be expressible in strict first order.	french_format.kif 915-915
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 448-448
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 451-451
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2599-2599
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 867-867
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 453-453
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 487-487
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 936-936
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 452-452

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1277-1277	域 AccelerationFn, 4 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 477-477	域定向分區域, 1 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 406-406	域緯度, 1 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 444-444	域經度, 1 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6671-6671	域速度, 4 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16955-16955	域面孔, 2 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 253-253	域高空風速率, 3 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 204-204	域低空風速, 3 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3770-3770	域磁變化, 3 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 230-230	域中等海拔風速率, 3 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1688-1688	域坡度梯度朝向, 2 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 169-169	域地面風向, 2 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 106-106	域地面風速率, 3 and DirectionalAttribute

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17004-17009	例 PositionalAttribute and DirectionalAttribute 方位 Object, Object and PositionalAttribute 方位 Object, Object and PositionalAttribute 之間 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 493-498	例 DirectionalAttribute and DirectionalAttribute 例 GeographicArea and GeographicArea 例 DirectionalAttribute 和 GeographicArea 的 directional 次要地區 and GeographicArea DirectionalAttribute 和 GeographicArea 的 directional 次要地區是 GeographicArea 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 500-505	例 DirectionalAttribute and DirectionalAttribute 例 GeographicArea and GeographicArea 例 DirectionalAttribute 和 GeographicArea 的 directional 次要地區 and GeographicArea 方位 DirectionalAttribute 和 GeographicArea 的 directional 次要地區, GeographicArea 的 geographic 中心 and DirectionalAttribute

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	例 Object and GeographicArea 位於 Object and Object 例 Object and 熱帶 RealNumber 經度, DirectionalAttribute, RealNumber and UnitOfMeasure Object 是對於經度的 object 地理座標測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfAngularMeasure 少於 RealNumber and RealNumber 等於測量 RealNumber and UnitOfMeasure and 測量 23.0 and 圓周角度的 region DirectionalAttribute 例 DirectionalAttribute and DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
No TPTP formula. May not be expressible in strict first order.	Weather.kif 627-646	例 Process and TropicalCyclonicSystem 起源 Process and Object 例 Object and 北大西洋例 Object and 太平洋例 Object and 印度洋 Object DirectionalAttribute, RealNumber and 經度位於 Object and Object 例 DirectionalAttribute and DirectionalAttribute Object 是對於經度的 object 地理座標測量 RealNumber and 圓周角度的 region DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南少於 RealNumber and 5.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2264-2269	例 Entity and 羅盤 Entity 例 Entity and DirectionalAttribute 代表 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11279-11290	例 Physical and DirectionChange Entity 例 Entity and DirectionalAttribute 持有期間開始何時 Physical and 方式 Physical and Entity 持有期間結束何時 Physical and 方式 Physical and Entity 持有期間結束何時 Physical and 方式 Physical and Entity 持有期間開始何時 Physical and 方式 Physical and Entity

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