| NightTime | |
| appearance as argument number 1 |
|
|
| (documentation NightTime EnglishLanguage "The class of TimeIntervals that begin at Sunset and end at Sunrise.") | Merge.kif 8925-8926 | |
| (subclass NightTime TimeInterval) | Merge.kif 8924-8924 |
| appearance as argument number 2 |
|
|
| (disjoint DayTime NightTime) | Merge.kif 8896-8896 | |
| (subclass Evening NightTime) | Merge.kif 8946-8946 | |
| (termFormat ChineseLanguage NightTime "晚上的时间") | domainEnglishFormat.kif 40584-40584 | |
| (termFormat ChineseTraditionalLanguage NightTime "晚上的時間") | domainEnglishFormat.kif 40583-40583 | |
| (termFormat EnglishLanguage NightTime "night time") | domainEnglishFormat.kif 40582-40582 |
| antecedent |
|
|
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure) (instance ?Time NightTime) (instance ?Observe Looking) (instance ?B Region) (attribute ?B Illuminated) (measure ?B (MeasureFn 1000.0 Candela)) (agent ?Observe ?A) (patient ?Observe ?B) (orientation ?A ?B Horizontal) (eventLocated ?Observe ?Area) (during (WhenFn ?Observe) ?Time) (instance ?B Object)) (exists (?D2) (and (distance ?A ?B (MeasureFn ?D2 ?U)) (greaterThan ?Distance ?D2)))) |
Weather.kif 2733-2754 | |
| (=> (instance ?NIGHT NightTime) (exists (?DAY1 ?DAY2) (and (instance ?DAY1 DayTime) (instance ?DAY2 DayTime) (meetsTemporally ?NIGHT ?DAY1) (meetsTemporally ?DAY2 ?NIGHT)))) |
Merge.kif 8928-8935 | |
| (=> (instance ?NIGHT NightTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?SET ?NIGHT) (finishes ?RISE ?NIGHT)))) |
Merge.kif 8937-8944 |
| consequent |
|
|
| (=> (and (instance ?X NightClub) (standardRetailHours ?TIME ?X)) (exists (?T) (and (instance ?T ?TIME) (during ?T NightTime)))) |
Dining.kif 419-426 | |
| (=> (instance ?DAY DayTime) (exists (?NIGHT1 ?NIGHT2) (and (instance ?NIGHT1 NightTime) (instance ?NIGHT2 NightTime) (meetsTemporally ?DAY ?NIGHT1) (meetsTemporally ?NIGHT2 ?DAY)))) |
Merge.kif 8906-8913 | |
| (=> (instance ?TIME DinnerTime) (exists (?NIGHT) (and (instance ?NIGHT NightTime) (during ?TIME ?NIGHT)))) |
Food.kif 1884-1889 |
|
|
|