WeekFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage WeekFn "week # %1 ") | domainEnglishFormat.kif 4982-4982 | |
(format ChineseTraditionalLanguage WeekFn "week # %1 ") | domainEnglishFormat.kif 4981-4981 | |
(format EnglishLanguage WeekFn "the week # %1") | domainEnglishFormat.kif 4980-4980 | |
(termFormat EnglishLanguage WeekFn "week fn") | domainEnglishFormat.kif 65730-65730 |
antecedent |
(=> (and (instance ?W (WeekFn ?N ?Y)) (instance ?YI ?Y)) (during ?W ?YI)) |
Merge.kif 8995-8999 |
|