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