DirectionalAttribute - Sigma Knowledge base Browser

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 17127-17128
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10862-10862
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9983-9983
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17126-17126	子類 DirectionalAttribute and PositionalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17148-17148	例東 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17137-17137	例北 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3636-3636	例東北 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 17141-17141	例南 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3647-3647	例東南 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3658-3658	例西南 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17151-17151	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1237-1237	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1695-1695	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	french_format.kif 915-915	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 448-448	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 451-451	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2599-2599	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 867-867	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 453-453	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 487-487	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 746-746	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 936-936	例西方 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 452-452	例西方 and DirectionalAttribute

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 6662-6662	域速度, 4 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17081-17081	域面孔, 2 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 241-241	域高空風速率, 3 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 192-192	域低空風速, 3 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 218-218	域中等海拔風速率, 3 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1676-1676	域坡度梯度朝向, 2 and DirectionalAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 157-157	域地面風向, 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 17130-17135	例 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 3583-3603	例 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 19728-19762	例 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 611-630	例 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 2733-2738	例 Entity and 羅盤 Entity 例 Entity and DirectionalAttribute 代表 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11384-11395	例 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 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: