| DayTime | |
| appearance as argument number 1 |
|
|
| (disjoint DayTime NightTime) | Mid-level-ontology.kif 16822-16822 | |
| (documentation DayTime EnglishLanguage "The class of TimeIntervals that begin at Sunrise and end at Sunset.") | Mid-level-ontology.kif 16820-16821 | |
| (subclass DayTime TimeInterval) | Mid-level-ontology.kif 16819-16819 |
| appearance as argument number 2 |
|
|
| (subclass Afternoon DayTime) | Mid-level-ontology.kif 16878-16878 | |
| (subclass Morning DayTime) | Mid-level-ontology.kif 16842-16842 | |
| (termFormat EnglishLanguage DayTime "day time") | domainEnglishFormat.kif 3538-3538 |
| antecedent |
|
|
| (=> (and (visibilityInMeteorology ?Area ?Time ?Distance) (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)) (and (distance ?A ?B ?D2) (greaterThan ?Distance ?D2))) |
Weather.kif 1137-1153 | |
| (=> (instance ?DAY DayTime) (exists (?NIGHT1 ?NIGHT2) (and (instance ?NIGHT1 NightTime) (instance ?NIGHT2 NightTime) (meetsTemporally ?DAY ?NIGHT1) (meetsTemporally ?NIGHT2 ?DAY)))) |
Mid-level-ontology.kif 16824-16831 | |
| (=> (instance ?DAY DayTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?RISE ?DAY) (finishes ?SET ?DAY)))) |
Mid-level-ontology.kif 16833-16840 |
| consequent |
|
|
| (=> (instance ?NIGHT NightTime) (exists (?DAY1 ?DAY2) (and (instance ?DAY1 DayTime) (instance ?DAY2 DayTime) (meetsTemporally ?NIGHT ?DAY1) (meetsTemporally ?DAY2 ?NIGHT)))) |
Mid-level-ontology.kif 16801-16808 |
|
|
|