QuarterYear
|
|
appearance as argument number 1 |
(documentation QuarterYear EnglishLanguage "A period of three months.") | Merge.kif 8989-8989 | |
(documentation QuarterYear JapaneseLanguage "3ヶ月の期間。") | japanese_format.kif 1529-1529 | |
(subclass QuarterYear TimeInterval) | Merge.kif 8987-8987 | QuarterYear は 時間間隔 の subclass では %n |
appearance as argument number 2 |
(rangeSubclass QuarterFn QuarterYear) | Merge.kif 8970-8970 | QuarterFn が返す値は QuarterYear の subclasses では %n |
(termFormat EnglishLanguage QuarterYear "quarter year") | domainEnglishFormat.kif 65373-65373 |
antecedent |
(=> (and (instance ?Q QuarterYear) (instance ?Q (QuarterFn ?N (YearFn ?Y))) (instance ?YI (YearFn ?Y))) (during ?Q ?YI)) |
Merge.kif 8980-8985 | |
(=> (instance ?Q QuarterYear) (duration ?Q (MeasureFn 3 MonthDuration))) |
Merge.kif 8991-8993 |
|