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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Epoch

 Sigma KEE - Epoch
Epoch(epoch)date_of_reference, epoch

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2136-2137
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2135-2135 Epoch is a subclass of time point

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2139-2139 Unix epoch is an instance of epoch
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22306-22306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22305-22305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22304-22304


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