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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NightTime
NightTime(晚上的时间)

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


(documentation NightTime EnglishLanguage "The class of TimeIntervals that begin at Sunset and end at Sunrise.") Merge.kif 8307-8308
(subclass NightTime TimeInterval) Merge.kif 8306-8306 晚上的时间 是 时距 的 subclass

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


(disjoint DayTime NightTime) Merge.kif 8278-8278 一天的时间 和 % 2 是 disjoint
(subclass Evening NightTime) Merge.kif 8328-8328 Evening 是 晚上的时间 的 subclass
(termFormat ChineseLanguage NightTime "晚上的时间") domainEnglishFormat.kif 40447-40447
(termFormat ChineseTraditionalLanguage NightTime "晚上的時間") domainEnglishFormat.kif 40446-40446
(termFormat EnglishLanguage NightTime "night time") domainEnglishFormat.kif 40445-40445

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 8310-8317
(=>
    (instance ?NIGHT NightTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?SET ?NIGHT)
            (finishes ?RISE ?NIGHT))))		 Merge.kif 8319-8326

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


(=>
    (instance ?DAY DayTime)
    (exists (?NIGHT1 ?NIGHT2)
        (and
            (instance ?NIGHT1 NightTime)
            (instance ?NIGHT2 NightTime)
            (meetsTemporally ?DAY ?NIGHT1)
            (meetsTemporally ?NIGHT2 ?DAY))))		 Merge.kif 8288-8295
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners