| BeforeCommonEra(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 7591-7592 | |
| (externalImage BeforeCommonEra "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ MontreGousset001.jpg") | pictureList.kif 5879-5879 | |
| (instance BeforeCommonEra TimeInterval) | Mid-level-ontology.kif 7590-7590 | Before common era is an instance of time interval |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BeforeCommonEra "共同的时代之前") | domainEnglishFormat.kif 10559-10559 | |
| (termFormat ChineseTraditionalLanguage BeforeCommonEra "共同的時代之前") | domainEnglishFormat.kif 10558-10558 | |
| (termFormat EnglishLanguage BeforeCommonEra "before common era") | domainEnglishFormat.kif 10557-10557 |
| statement |
|
|
| (equal (BeginFn BeforeCommonEra) NegativeInfinity) |
Mid-level-ontology.kif 7594-7594 | The beginning of before common era is equal to negative infinity |
| (not (overlapsTemporally CommonEra BeforeCommonEra)) |
Mid-level-ontology.kif 7596-7596 | Before common era doesn't overlap common era |
|
|
|