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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LongitudeFn

 Sigma KEE - LongitudeFn
LongitudeFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 451-459
No TPTP formula. May not be expressible in strict first order. Geography.kif 444-444 经度 的 1 数量 是 方向属性 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 445-445 经度 的 2 数量 是 角度测量 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 446-446 经度 的 3 数量 是 角度测量 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 447-447 经度 的 4 数量 是 角度测量 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 442-442 经度 是 函数 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 443-443 经度 是 不定次元关系 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 448-448 经度 的 range 是 地理区域 的实例

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3790-3790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3789-3789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3788-3788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34997-34997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34996-34996
No TPTP formula. May not be expressible in strict first order. Geography.kif 449-449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34995-34995

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


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. Geography.kif 461-465

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


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