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.") Mid-level-ontology.kif 16799-16800
(subclass NightTime TimeInterval) Mid-level-ontology.kif 16798-16798 Night time is a subclass of time interval

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


(disjoint DayTime NightTime) Mid-level-ontology.kif 16823-16823 Day time is disjoint from night time
(subclass Evening NightTime) Merge.kif 12451-12451 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 1155-1172
(=>
    (instance ?NIGHT NightTime)
    (exists (?DAY1 ?DAY2)
        (and
            (instance ?DAY1 DayTime)
            (instance ?DAY2 DayTime)
            (meetsTemporally ?NIGHT ?DAY1)
            (meetsTemporally ?DAY2 ?NIGHT))))
Mid-level-ontology.kif 16802-16809
(=>
    (instance ?NIGHT NightTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?SET ?NIGHT)
            (finishes ?RISE ?NIGHT))))
Mid-level-ontology.kif 16811-16818

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


(=>
    (instance ?DAY DayTime)
    (exists (?NIGHT1 ?NIGHT2)
        (and
            (instance ?NIGHT1 NightTime)
            (instance ?NIGHT2 NightTime)
            (meetsTemporally ?DAY ?NIGHT1)
            (meetsTemporally ?NIGHT2 ?DAY))))
Mid-level-ontology.kif 16825-16832
(=>
    (instance ?TIME DinnerTime)
    (exists (?NIGHT)
        (and
            (instance ?NIGHT NightTime)
            (during ?TIME ?NIGHT))))
Food.kif 279-284
(=>
    (instance ?X NightClub)
    (exists (?TIME)
        (and
            (standardRetailHours ?X ?TIME)
            (during
                (BeginFn ?TIME) NightTime))))
Dining.kif 398-403


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