NightTime |
appearance as argument number 1 |
(documentation NightTime EnglishLanguage "The class of TimeIntervals that begin at Sunset and end at Sunrise.") | Merge.kif 8911-8912 | |
(subclass NightTime TimeInterval) | Merge.kif 8910-8910 |
appearance as argument number 2 |
(disjoint DayTime NightTime) | Merge.kif 8882-8882 | |
(subclass Evening NightTime) | Merge.kif 8932-8932 | |
(termFormat ChineseLanguage NightTime "晚上的时间") | domainEnglishFormat.kif 40551-40551 | |
(termFormat ChineseTraditionalLanguage NightTime "晚上的時間") | domainEnglishFormat.kif 40550-40550 | |
(termFormat EnglishLanguage NightTime "night time") | domainEnglishFormat.kif 40549-40549 |
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 2746-2767 | |
(=> (instance ?NIGHT NightTime) (exists (?DAY1 ?DAY2) (and (instance ?DAY1 DayTime) (instance ?DAY2 DayTime) (meetsTemporally ?NIGHT ?DAY1) (meetsTemporally ?DAY2 ?NIGHT)))) |
Merge.kif 8914-8921 | |
(=> (instance ?NIGHT NightTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?SET ?NIGHT) (finishes ?RISE ?NIGHT)))) |
Merge.kif 8923-8930 |
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 8892-8899 | |
(=> (instance ?TIME DinnerTime) (exists (?NIGHT) (and (instance ?NIGHT NightTime) (during ?TIME ?NIGHT)))) |
Food.kif 1884-1889 |