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 8791-8792
(subclass NightTime TimeInterval) Merge.kif 8790-8790 晚上的时间时距subclass

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


(disjoint DayTime NightTime) Merge.kif 8762-8762 一天的时间 和 % 2 是 disjoint
(subclass Evening NightTime) Merge.kif 8812-8812 Evening晚上的时间subclass
(termFormat ChineseLanguage NightTime "晚上的时间") domainEnglishFormat.kif 40536-40536
(termFormat ChineseTraditionalLanguage NightTime "晚上的時間") domainEnglishFormat.kif 40535-40535
(termFormat EnglishLanguage NightTime "night time") domainEnglishFormat.kif 40534-40534

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


(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 2749-2770
(=>
    (instance ?NIGHT NightTime)
    (exists (?DAY1 ?DAY2)
        (and
            (instance ?DAY1 DayTime)
            (instance ?DAY2 DayTime)
            (meetsTemporally ?NIGHT ?DAY1)
            (meetsTemporally ?DAY2 ?NIGHT))))
Merge.kif 8794-8801
(=>
    (instance ?NIGHT NightTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?SET ?NIGHT)
            (finishes ?RISE ?NIGHT))))
Merge.kif 8803-8810

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


(=>
    (instance ?DAY DayTime)
    (exists (?NIGHT1 ?NIGHT2)
        (and
            (instance ?NIGHT1 NightTime)
            (instance ?NIGHT2 NightTime)
            (meetsTemporally ?DAY ?NIGHT1)
            (meetsTemporally ?NIGHT2 ?DAY))))
Merge.kif 8772-8779
(=>
    (instance ?TIME DinnerTime)
    (exists (?NIGHT)
        (and
            (instance ?NIGHT NightTime)
            (during ?TIME ?NIGHT))))
Food.kif 212-217
(=>
    (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