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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sunrise

Sigma KEE - Sunrise
Sunrise

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


(documentation Sunrise EnglishLanguage "The TimeInterval of each Day when the sun is rising and is partially overlapped by the horizon line.") Merge.kif 8765-8766
(externalImage Sunrise "http://upload.wikimedia.org/wikipedia/commons/e/ ef/ Kerikeri.sunrise.july_20.05.jpg") pictureList.kif 2012-2012
(externalImage Sunrise "http://upload.wikimedia.org/wikipedia/en/2/21/Yellow_sunrise.JPG") pictureList.kif 2388-2388
(subclass Sunrise TimeInterval) Merge.kif 8764-8764

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


(termFormat ChineseLanguage Sunrise "日出") domainEnglishFormat.kif 56080-56080
(termFormat ChineseTraditionalLanguage Sunrise "日出") domainEnglishFormat.kif 56079-56079
(termFormat EnglishLanguage Sunrise "sunrise") domainEnglishFormat.kif 56078-56078

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


(=>
    (and
        (attribute ?H Mausaharati)
        (instance ?D Drumming)
        (agent ?D ?H)
        (instance ?DAY Day)
        (instance ?S Sunrise)
        (during ?S ?D)
        (before ?D ?S))
    (hasPurpose ?D
        (exists (?P ?SUHUR ?WU)
            (and
                (instance ?WU WakingUp)
                (experiencer ?WU ?P)
                (instance ?SUHUR Suhur)
                (agent ?SUHUR ?P)
                (before ?WU ?SUHUR)
                (during ?WU ?DAY)
                (during ?SUHUR ?DAY)))))
ArabicCulture.kif 57-75

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


(=>
    (instance ?DAY DayTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?RISE ?DAY)
            (finishes ?SET ?DAY))))
Merge.kif 8781-8788
(=>
    (instance ?NIGHT NightTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?SET ?NIGHT)
            (finishes ?RISE ?NIGHT))))
Merge.kif 8803-8810
(=>
    (instance ?X Suhur)
    (exists (?R ?S ?D)
        (and
            (instance ?S Sunrise)
            (instance ?R Ramadan)
            (instance ?D Day)
            (during ?D ?R)
            (during
                (WhenFn ?X) ?D)
            (during ?S ?D)
            (before
                (WhenFn ?X) ?S))))
ArabicCulture.kif 36-46


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

Show without tree


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