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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcSecond

Sigma KEE - ArcSecond
ArcSecond(arc second)

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 Arc second is an instance of unit of angular measure

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 The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(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 Arc minute(s) is equal to 60.0 arc second(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 402-402 A real number arc minute(s) is equal to 60.0 and the real number arc second(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