North - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - North

North(北)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17012-17012	相反的屬性北, 南, 東 and 西方
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3804-3804
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17013-17013
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1870-1870
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.	Mid-level-ontology.kif 18133-18133	南是北的 opposite 方向

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40947-40947
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40946-40946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40945-40945

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Geography.kif 289-289	方位加勒比地區, 南美洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 275-275	方位歐洲, 非洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 287-287	方位中美洲, 南美洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 278-278	方位北美, 南美洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6951-6951	方位蘇格蘭, England and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6964-6964	方位蘇格蘭, Wales and 北

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17018-17020	方位 Object, Object and 北方位 Object, Object and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 433-440	等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南 length 測量 0.0 and 圓周角度的 region DirectionalAttribute and 測量 1.0 and 海裡

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3731-3733	Object 對於 %3 courseWRT 實際北方位 Object, Object and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3747-3749	Object 對於 %3 courseWRT 實際北方位 Object, Object and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3653-3657	方位 Object, Object and 東北方位 Object, Object and 北方位 Object, Object and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3688-3692	方位 Object, Object and 西北方位 Object, Object and 北方位 Object, Object and 西方
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.	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.	Geography.kif 421-425	例 @ROW 的 region DirectionalAttribute and Region 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南

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