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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AngularDegree

 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 圆周角度 是 UnitOfAngularMeasure 的 instance

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 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3755-3757 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3741 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西南
No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西方
No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3751-3753 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分
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 圆周角度 equal 60.0 弧分
No TPTP formula. May not be expressible in strict first order. Geography.kif 383-383 实数 圆周角度 equal 60.0 和 那个 实数 弧分
No TPTP formula. May not be expressible in strict first order. Merge.kif 7367-7369 实数 圆周角度 equal 那个 实数 和 圆周率 和 180.0 弧度
No TPTP formula. May not be expressible in strict first order. Geography.kif 4662-4669 南部海洋 的 geographic 中心 是 对于 在 0.0 圆周角度 东 的 meridian 的 object 地理座标 65.0 圆周角度 的 region 南


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