Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WeekDuration(week duration) |
| appearance as argument number 1 |
|
| (instance WeekDuration UnitOfDuration) | Merge.kif 7226-7226 | Week duration is an instance of unit of duration |
| (instance WeekDuration TimeDuration) | Merge.kif 7227-7227 | Week duration is an instance of time duration |
| (documentation WeekDuration EnglishLanguage "Time unit. A week's duration is seven days.") | Merge.kif 7228-7229 | Week duration is an instance of time duration |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration))) |
Merge.kif 9547-9549 | If X is an instance of week, then duration of X is 1 week duration(s) |
| statement |
|
|
| (equal (MeasureFn 1 WeekDuration) (MeasureFn 7 DayDuration)) |
Merge.kif 7231-7233 | equal 1 week duration(s) and 7 day duration(s) |
| (diseaseIncubation LouseBorneTyphus (MeasureFn 1 WeekDuration) (MeasureFn 2 WeekDuration)) |
WMD.kif 266-266 | Louse borne typhus disease incubation 1 week duration(s) for 2 week duration(s) |
| (diseaseIncubation Tetanus (MeasureFn 3 DayDuration) (MeasureFn 3 WeekDuration)) |
WMD.kif 1495-1495 | Tetanus disease incubation 3 day duration(s) for 3 week duration(s) |
| (diseaseIncubation LassaFever (MeasureFn 1 WeekDuration) (MeasureFn 3 WeekDuration)) |
WMD.kif 1862-1862 | Lassa fever disease incubation 1 week duration(s) for 3 week duration(s) |
|