|
|
   QuarterYear
|
|
|
| appearance as argument number 1 |
|
|
| (documentation QuarterYear EnglishLanguage "A period of three months.") | Merge.kif 8888-8888 | |
| (subclass QuarterYear TimeInterval) | Merge.kif 8886-8886 | QuarterYear is a subclass of time interval |
| appearance as argument number 2 |
|
|
| (rangeSubclass QuarterFn QuarterYear) | Merge.kif 8872-8872 | The values returned by QuarterFn are subclasses of QuarterYear |
| antecedent |
|
|
| (=> (and (instance ?Q QuarterYear) (instance ?Q (QuarterFn ?N ?Y)) (instance ?YI (YearFn ?Y))) (during ?Q ?YI)) |
Merge.kif 8879-8884 |
|
| (=> (instance ?Q QuarterYear) (duration ?Q (MeasureFn 3 MonthDuration))) |
Merge.kif 8890-8892 |
|
|
|
|