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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Disagreeing

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 9053-9054
(externalImage BeforeCommonEra "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ MontreGousset001.jpg") pictureList.kif 5877-5877
(instance BeforeCommonEra TimeInterval) Mid-level-ontology.kif 9052-9052 共同的时代之前时距instance

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


(termFormat ChineseLanguage BeforeCommonEra "共同的时代之前") domainEnglishFormat.kif 10548-10548
(termFormat ChineseTraditionalLanguage BeforeCommonEra "共同的時代之前") domainEnglishFormat.kif 10547-10547
(termFormat EnglishLanguage BeforeCommonEra "before common era") domainEnglishFormat.kif 10546-10546

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


(not
    (overlapsTemporally CommonEra BeforeCommonEra))
Mid-level-ontology.kif 9058-9058 共同的时代之前 时段 doesn't 和 共同时代 重叠


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 3.0 is open source software produced by Articulate Software and its partners