TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Suhur EnglishLanguage "A light meal before starting a new day of Ramadan (before daybreak).")	ArabicCulture.kif 33-34
(subclass Suhur Eating)	ArabicCulture.kif 35-35	Suhur is a subclass of eating

appearance as argument number 2

(termFormat EnglishLanguage Suhur "suhur")	domainEnglishFormat.kif 55994-55994
(termFormat ChineseTraditionalLanguage Suhur "封齋飯")	domainEnglishFormat.kif 55995-55995
(termFormat ChineseLanguage Suhur "封斋饭")	domainEnglishFormat.kif 55996-55996

antecedent

(=>
    (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

If X is an instance of suhur, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of sunrise (3) Y is an instance of ramadan (4) W is an instance of day (5) W takes place during Y (6) the time of existence of X takes place during W (7) Z takes place during W (8) the time of existence of X happens before Z

consequent

(=>
    (and
        (instance ?H Man)
        (attribute ?H Mausaharati)
        (instance ?D Drumming)
        (agent ?D ?H)
        (instance ?DAY Day)
        (instance ?S Sunrise)
        (during ?S ?DAY)
        (earlier
            (WhenFn ?D) ?S))
    (hasPurpose ?D
        (exists (?P ?SUHUR ?WU)
            (and
                (instance ?WU WakingUp)
                (experiencer ?WU ?P)
                (instance ?SUHUR Suhur)
                (agent ?SUHUR ?P)
                (earlier
                    (WhenFn ?WU)
                    (WhenFn ?SUHUR))
                (during
                    (WhenFn ?WU) ?DAY)
                (during
                    (WhenFn ?SUHUR) ?DAY)))))

ArabicCulture.kif 65-84

If All of the following hold: (1) X is an instance of man (2) mausaharati is an attribute of X (3) Y is an instance of drumming (4) X is an agent of Y (5) Z is an instance of day (6) W is an instance of sunrise (7) W takes place during Z (8) the time of existence of Y happens earlier than W, then All of the following hold: (1) Y has the purpose there exist V, U (2) T such that T is an instance of waking up (3) V experiences T (4) U is an instance of suhur (5) V is an agent of U (6) the time of existence of T happens earlier than the time of existence of U (7) the time of existence of T takes place during Z (8) the time of existence of U takes place during Z

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: