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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcSecond

 Sigma KEE - ArcSecond
ArcSecond

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 386-387
No TPTP formula. May not be expressible in strict first order. Geography.kif 385-385 ArcSecond e' uma instancia de UnitOfAngularMeasure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8262-8262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8261-8261
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8260-8260

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 389-391
No TPTP formula. May not be expressible in strict first order. Geography.kif 393-395

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 A medida de Fisico e' Numero Real ArcMinute(s) a medida de Fisico e' 60.0 + Numero Real ArcSecond(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 401-401 1.0 ArcMinute(s) e' igual a 60.0 ArcSecond(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 402-402 Numero Real ArcMinute(s) e' igual a 60.0 + Numero Real ArcSecond(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