during |
appearance as argument number 1 |
![]() |
(documentation during ChineseLanguage "(during ?INTERVAL1 ?INTERVAL2)的意思是 ?INTERVAL1 比 ?INTERVAL2 要晚开始和先 结束。") | chinese_format.kif 2720-2721 | |
(documentation during EnglishLanguage "(during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.") | Merge.kif 8214-8215 | |
(domain during 1 TimeInterval) | Merge.kif 8211-8211 | The number 1 argument of during is an instance of time interval |
(domain during 2 TimeInterval) | Merge.kif 8212-8212 | The number 2 argument of during is an instance of time interval |
(instance during BinaryPredicate) | Merge.kif 8208-8208 | during is an instance of binary predicate |
(instance during IrreflexiveRelation) | Merge.kif 8209-8209 | during is an instance of irreflexive relation |
(instance during TransitiveRelation) | Merge.kif 8207-8207 | during is an instance of transitive relation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage during "%1 %n{doesn't} 在 %2 时段内发生") | chinese_format.kif 433-433 | |
(format EnglishLanguage during "%1 %n{doesn't} take%p{s} place during %2") | english_format.kif 439-439 | |
(termFormat ChineseLanguage during "在这时间内") | chinese_format.kif 434-434 | |
(termFormat ChineseLanguage during "期间") | domainEnglishFormat.kif 20685-20685 | |
(termFormat ChineseTraditionalLanguage during "期間") | domainEnglishFormat.kif 20684-20684 | |
(termFormat EnglishLanguage during "during") | domainEnglishFormat.kif 20683-20683 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |