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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcMinute

 Sigma KEE - ArcMinute
ArcMinute

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 367-368
No TPTP formula. May not be expressible in strict first order. Geography.kif 366-366 ArcMinute est une instance de UnitOfAngularMeasure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8256-8256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8255-8255
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8254-8254

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 La mesure de physique est nombre r�el ArcMinute(s) la mesure de physique est 60.0 + nombre r�el ArcSecond(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 370-372
No TPTP formula. May not be expressible in strict first order. Geography.kif 374-376

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 La mesure de physique est nombre r�el AngularDegree(s) la mesure de physique est 60.0 + nombre r�el ArcMinute(s)
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. Geography.kif 433-440

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 382-382 1.0 AngularDegree(s) est ArcMinute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 401-401 1.0 ArcMinute(s) est ArcSecond(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 402-402 Nombre r�el ArcMinute(s) est nombre r�el ArcSecond(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 383-383 Nombre r�el AngularDegree(s) est nombre r�el ArcMinute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 4662-4669 objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s)


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