Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AngularDegree
AngularDegree(圓周角度)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2618-2618
No TPTP formula. May not be expressible in strict first order. Merge.kif 7361-7361
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1332-1332
No TPTP formula. May not be expressible in strict first order. Merge.kif 7359-7359 例 圓周角度 and UnitOfAngularMeasure

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7536-7536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7535-7535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7534-7534

antecedent
-------------------------


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 3755-3757 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3741 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方
No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 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 3751-3753 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 測量 Physical and 測量 RealNumber and 圓周角度 測量 Physical and 測量 乘法 60.0 and RealNumber and 弧分
No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431
No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 7363-7365
No TPTP formula. May not be expressible in strict first order. Merge.kif 7371-7375
No TPTP formula. May not be expressible in strict first order. Geography.kif 358-360
No TPTP formula. May not be expressible in strict first order. Geography.kif 362-364

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3595-3615
No TPTP formula. May not be expressible in strict first order. Weather.kif 627-646
No TPTP formula. May not be expressible in strict first order. Geography.kif 433-440

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 382-382 等於 測量 1.0 and 圓周角度 and 測量 60.0 and 弧分
No TPTP formula. May not be expressible in strict first order. Geography.kif 383-383 等於 測量 RealNumber and 圓周角度 and 測量 乘法 60.0 and RealNumber and 弧分
No TPTP formula. May not be expressible in strict first order. Merge.kif 7367-7369 等於 測量 RealNumber and 圓周角度 and 測量 乘法 RealNumber and 部 Pi and 180.0 and 弧度
No TPTP formula. May not be expressible in strict first order. Geography.kif 4662-4669 南部海洋 的 geographic 中心 是 對於 在 測量 0.0 and 圓周角度 東 的 meridian 的 object 地理座標 測量 65.0 and 圓周角度 的 region 南


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