Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NightTime
NightTime(night time)Bonfire_Night, Guy_Fawkes_Night, dark, night, night_time, nighttime, small_hours, this_evening, this_night, tonight, 晚上的时间, 晚上的時間

appearance as argument number 1
-------------------------


(documentation NightTime EnglishLanguage "The class of TimeIntervals that begin at Sunset and end at Sunrise.") Merge.kif 8216-8217
(subclass NightTime TimeInterval) Merge.kif 8215-8215 Night time is a subclass of time interval

appearance as argument number 2
-------------------------


(disjoint DayTime NightTime) Merge.kif 8187-8187 Day time is disjoint from night time
(subclass Evening NightTime) Merge.kif 8237-8237 Evening is a subclass of night time
(termFormat ChineseLanguage NightTime "晚上的时间") domainEnglishFormat.kif 40471-40471 "晚上的时间" is the printable form of night time in ChineseLanguage
(termFormat ChineseTraditionalLanguage NightTime "晚上的時間") domainEnglishFormat.kif 40470-40470 "晚上的時間" is the printable form of night time in ChineseTraditionalLanguage
(termFormat EnglishLanguage NightTime "night time") domainEnglishFormat.kif 40469-40469 "night time" is the printable form of night time in english language

antecedent
-------------------------


(=>
    (and
        (visibilityInMeteorology ?Area ?Time ?Distance)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000 Candela))
        (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 1252-1269
(=>
    (instance ?NIGHT NightTime)
    (exists (?DAY1 ?DAY2)
        (and
            (instance ?DAY1 DayTime)
            (instance ?DAY2 DayTime)
            (meetsTemporally ?NIGHT ?DAY1)
            (meetsTemporally ?DAY2 ?NIGHT))))
Merge.kif 8219-8226
(=>
    (instance ?NIGHT NightTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?SET ?NIGHT)
            (finishes ?RISE ?NIGHT))))
Merge.kif 8228-8235

consequent
-------------------------


(=>
    (instance ?DAY DayTime)
    (exists (?NIGHT1 ?NIGHT2)
        (and
            (instance ?NIGHT1 NightTime)
            (instance ?NIGHT2 NightTime)
            (meetsTemporally ?DAY ?NIGHT1)
            (meetsTemporally ?NIGHT2 ?DAY))))
Merge.kif 8197-8204
(=>
    (instance ?TIME DinnerTime)
    (exists (?NIGHT)
        (and
            (instance ?NIGHT NightTime)
            (during ?TIME ?NIGHT))))
Food.kif 278-283
(=>
    (instance ?X NightClub)
    (exists (?TIME)
        (and
            (standardRetailHours ?X ?TIME)
            (during
                (BeginFn ?TIME) NightTime))))
Dining.kif 394-399


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners