Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DayTime(day time) |  | day, daylight, daytime |
| appearance as argument number 1 |
|
|
| (subclass DayTime TimeInterval) | Merge.kif 9059-9059 | Day time is a subclass of timeframe |
| (documentation DayTime EnglishLanguage "The class of TimeIntervals that begin at Sunrise and end at Sunset.") | Merge.kif 9060-9061 | Day time is a subclass of timeframe |
| (disjoint DayTime NightTime) | Merge.kif 9062-9062 | Day time is disjoint from night time |
| appearance as argument number 2 |
|
|
| (subclass Afternoon DayTime) | Merge.kif 8990-8990 | Afternoon is a subclass of day time |
| (subclass Morning DayTime) | Merge.kif 9005-9005 | Morning is a subclass of day time |
| (termFormat EnglishLanguage DayTime "day time") | domainEnglishFormat.kif 18702-18702 | Morning is a subclass of day time |
| (termFormat ChineseTraditionalLanguage DayTime "一天的時間") | domainEnglishFormat.kif 18703-18703 | Morning is a subclass of day time |
| (termFormat ChineseLanguage DayTime "一天的时间") | domainEnglishFormat.kif 18704-18704 | Morning is a subclass of day time |
| antecedent |
|
|
| (=> (instance ?DAY DayTime) (exists (?NIGHT1 ?NIGHT2) (and (instance ?NIGHT1 NightTime) (instance ?NIGHT2 NightTime) (meetsTemporally ?DAY ?NIGHT1) (meetsTemporally ?NIGHT2 ?DAY)))) |
Merge.kif 9072-9079 | If X is an instance of day time, then there exist Y, Z such that Y is an instance of night time, Z is an instance of night time, X meets Y, and Z meets X |
| (=> (instance ?DAY DayTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?RISE ?DAY) (finishes ?SET ?DAY)))) |
Merge.kif 9081-9088 | If X is an instance of day time, then there exist Y, Z such that Y is an instance of sunrise, Z is an instance of sunset, Y starts X, and Z finishes X |
| (=> (and (visibilityInMeteorology ?Area ?Time (MeasureFn ?Distance ?U)) (instance ?U UnitOfMeasure) (instance ?Time DayTime) (instance ?Observe Looking) (instance ?B Object) (color ?B Black) (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 3995-4015 | If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of day time (4) V is an instance of looking (5) U is an instance of object (6) U is the color black (7) T is an agent of V (8) U is a patient of V (9) T is horizontal to to U (10) V is located at X (11) the time of existence of V takes place during Y (12) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S |
| consequent |
|
|
| (=> (instance ?NIGHT NightTime) (exists (?DAY1 ?DAY2) (and (instance ?DAY1 DayTime) (instance ?DAY2 DayTime) (meetsTemporally ?NIGHT ?DAY1) (meetsTemporally ?DAY2 ?NIGHT)))) |
Merge.kif 9094-9101 | If X is an instance of night time, then there exist Y, Z such that Y is an instance of day time, Z is an instance of day time, X meets Y, and Z meets X |
|