Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BeforeCommonEra(before common era)
|
| appearance as argument number 1 |
|
| (instance BeforeCommonEra TimeInterval) | Mid-level-ontology.kif 9206-9206 | Before common era is an instance of timeframe |
| (documentation BeforeCommonEra EnglishLanguage "The TimeInterval that runs from NegativeInfinity to the time of the birth of Christ.") | Mid-level-ontology.kif 9207-9208 | Before common era is an instance of timeframe |
| (externalImage BeforeCommonEra "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ MontreGousset001.jpg") | pictureList.kif 5877-5877 | Before common era is an instance of timeframe |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (not (overlapsTemporally CommonEra BeforeCommonEra)) |
Mid-level-ontology.kif 9212-9212 | Before common era doesn't overlap common era |
|