| QuarterYear(quarter year) | | quarter |
| appearance as argument number 1 |
|
|
| (documentation QuarterYear EnglishLanguage "A period of three months.") | Merge.kif 9031-9031 | |
| (documentation QuarterYear JapaneseLanguage "３ヶ月の期間。") | japanese_format.kif 1529-1529 | |
| (subclass QuarterYear TimeInterval) | Merge.kif 9029-9029 | Quarter year is a subclass of time interval |
| appearance as argument number 2 |
|
|
| (rangeSubclass QuarterFn QuarterYear) | Merge.kif 9012-9012 | The values returned by quarter fn are subclasses of quarter year |
| (termFormat EnglishLanguage QuarterYear "quarter year") | domainEnglishFormat.kif 65396-65396 | The values returned by quarter fn are subclasses of quarter year |
| antecedent |
|
|
| (=> (and (instance ?Q QuarterYear) (instance ?Q (QuarterFn ?N (YearFn ?Y))) (instance ?YI (YearFn ?Y))) (during ?Q ?YI)) |
Merge.kif 9022-9027 |
|
| (=> (instance ?Q QuarterYear) (duration ?Q (MeasureFn 3 MonthDuration))) |
Merge.kif 9033-9035 |
|
|
|
|