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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeforeCommonEra
BeforeCommonEra(before common era)
before_common_era

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 7586-7587
(externalImage BeforeCommonEra "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ MontreGousset001.jpg") pictureList.kif 5879-5879 "http://upload.wikimedia.org/wikipedia/commons/4/45/ MontreGousset001.jpg" is a URL depicting before common era
(instance BeforeCommonEra TimeInterval) Mid-level-ontology.kif 7585-7585 Before common era is an instance of time interval

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


(termFormat EnglishLanguage BeforeCommonEra "before common era") domainEnglishFormat.kif 2181-2181 "before common era" is the printable form of before common era in english language

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


(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)		 Mid-level-ontology.kif 7589-7589 The beginning of before common era is equal to negative infinity
(not
    (overlapsTemporally CommonEra BeforeCommonEra))		 Mid-level-ontology.kif 7591-7591 Before common era doesn't overlap common era


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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