overlapsTemporally |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage overlapsTemporally "%2 时段 %n{doesn't} 和 %1 重叠") | chinese_format.kif 431-431 | |
(format EnglishLanguage overlapsTemporally "%2 %n{doesn't} overlap%p{s} %1") | english_format.kif 437-437 | |
(termFormat ChineseLanguage overlapsTemporally "在时间上重叠") | chinese_format.kif 432-432 | |
(termFormat ChineseLanguage overlapsTemporally "暂时重叠") | domainEnglishFormat.kif 43765-43765 | |
(termFormat ChineseTraditionalLanguage overlapsTemporally "暫時重疊") | domainEnglishFormat.kif 43764-43764 | |
(termFormat EnglishLanguage overlapsTemporally "overlaps temporally") | domainEnglishFormat.kif 43763-43763 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(not (overlapsTemporally CommonEra BeforeCommonEra)) |
Mid-level-ontology.kif 7606-7606 | Before common era doesn't overlap common era |
![]() |
![]() |