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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeforeCommonEra

 Sigma KEE - BeforeCommonEra
BeforeCommonEra

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


(documentation BeforeCommonEra EnglishLanguage "The TimeInterval that runs from NegativeInfinity to the time of the birth of Christ.") Mid-level-ontology.kif 7582-7583
(externalImage BeforeCommonEra "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ MontreGousset001.jpg") pictureList.kif 5879-5879
(instance BeforeCommonEra TimeInterval) Mid-level-ontology.kif 7581-7581

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


(termFormat EnglishLanguage BeforeCommonEra "before common era") domainEnglishFormat.kif 2181-2181

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


(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)		 Mid-level-ontology.kif 7585-7585
(not
    (overlapsTemporally CommonEra BeforeCommonEra))		 Mid-level-ontology.kif 7587-7587


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners