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, 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 8340-8341
(subclass NightTime TimeInterval) Merge.kif 8339-8339 Night time is a subclass of time interval

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


(disjoint DayTime NightTime) Merge.kif 8311-8311 Day time is disjoint from night time
(subclass Evening NightTime) Merge.kif 8361-8361 Evening is a subclass of night time
(termFormat ChineseLanguage NightTime "晚上的时间") domainEnglishFormat.kif 40468-40468
(termFormat ChineseTraditionalLanguage NightTime "晚上的時間") domainEnglishFormat.kif 40467-40467
(termFormat EnglishLanguage NightTime "night time") domainEnglishFormat.kif 40466-40466

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 1470-1487
(=>
    (instance ?NIGHT NightTime)
    (exists (?DAY1 ?DAY2)
        (and
            (instance ?DAY1 DayTime)
            (instance ?DAY2 DayTime)
            (meetsTemporally ?NIGHT ?DAY1)
            (meetsTemporally ?DAY2 ?NIGHT))))
Merge.kif 8343-8350
(=>
    (instance ?NIGHT NightTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?SET ?NIGHT)
            (finishes ?RISE ?NIGHT))))
Merge.kif 8352-8359

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


(=>
    (instance ?DAY DayTime)
    (exists (?NIGHT1 ?NIGHT2)
        (and
            (instance ?NIGHT1 NightTime)
            (instance ?NIGHT2 NightTime)
            (meetsTemporally ?DAY ?NIGHT1)
            (meetsTemporally ?NIGHT2 ?DAY))))
Merge.kif 8321-8328
(=>
    (instance ?TIME DinnerTime)
    (exists (?NIGHT)
        (and
            (instance ?NIGHT NightTime)
            (during ?TIME ?NIGHT))))
Food.kif 230-235
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners