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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7587-7588
(externalImage BeforeCommonEra "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ MontreGousset001.jpg") pictureList.kif 5879-5879 externalImage BeforeCommonEra and "http://upload.wikimedia.org/wikipedia/commons/4/45/ MontreGousset001.jpg"
(instance BeforeCommonEra TimeInterval) Mid-level-ontology.kif 7586-7586 instance BeforeCommonEra and TimeInterval

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


(termFormat ChineseLanguage BeforeCommonEra "共同的时代之前") domainEnglishFormat.kif 10489-10489 termFormat ChineseLanguage, BeforeCommonEra and "共同的时代之前"
(termFormat ChineseTraditionalLanguage BeforeCommonEra "共同的時代之前") domainEnglishFormat.kif 10488-10488 termFormat ChineseTraditionalLanguage, BeforeCommonEra and "共同的時代之前"
(termFormat EnglishLanguage BeforeCommonEra "before common era") domainEnglishFormat.kif 10487-10487 termFormat EnglishLanguage, BeforeCommonEra and "before common era"

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


(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)
Mid-level-ontology.kif 7590-7590 equal BeginFn BeforeCommonEra and NegativeInfinity
(not
    (overlapsTemporally CommonEra BeforeCommonEra))
Mid-level-ontology.kif 7592-7592 overlapsTemporally CommonEra and BeforeCommonEra


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