Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   QuarterYear
|
|
|
| appearance as argument number 1 |
|
|
| (subclass QuarterYear TimeInterval) | Merge.kif 9189-9189 | Quarter year is a subclass of timeframe |
| (documentation QuarterYear EnglishLanguage "A period of three months.") | Merge.kif 9191-9191 | Quarter year is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| (rangeSubclass QuarterFn QuarterYear) | Merge.kif 9172-9172 | The values returned by quarter fn are subclasses of quarter year |
| (termFormat EnglishLanguage QuarterYear "quarter year") | domainEnglishFormat.kif 65376-65376 | 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 9182-9187 | If X is an instance of quarter year, X is an instance of the number Y quarter of the year Z, and W is an instance of the year Z, then X takes place during W |
| (=> (instance ?Q QuarterYear) (duration ?Q (MeasureFn 3 MonthDuration))) |
Merge.kif 9193-9195 | If X is an instance of quarter year, then duration of X is 3 month duration(s) |
|