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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeforeCommonEra

 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 7586-7587
(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 7585-7585 BeforeCommonEra 是 时距 的 instance

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


(termFormat EnglishLanguage BeforeCommonEra "before common era") domainEnglishFormat.kif 2181-2181 termFormat EnglishLanguage, BeforeCommonEra and "before common era"

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


(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)		 Mid-level-ontology.kif 7589-7589 BeforeCommonEra 的开始 equal NegativeInfinity
(not
    (overlapsTemporally CommonEra BeforeCommonEra))		 Mid-level-ontology.kif 7591-7591 BeforeCommonEra 时段 doesn't 和 CommonEra 重叠


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

Show without tree


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