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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Suhur

Sigma KEE - Suhur
Suhursuhur

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


s__documentation(s__Suhur,s__EnglishLanguage,'A light meal before starting a new day of Ramadan (before daybreak).')

ArabicCulture.kif 33-34
s__instance(s__Eating,s__SetOrClass)

ArabicCulture.kif 35-35

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


s__termFormat(s__EnglishLanguage,s__Suhur,'suhur')

domainEnglishFormat.kif 9758-9758

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


( ∀ [V__X]
   (s__instance(V__X,s__Suhur) ⇒
     (∃ [V__R,V__S,V__D]
       (s__instance(V__S,s__Sunrise) ∧
         s__instance(V__R,s__Ramadan) ∧
         s__instance(V__D,s__Day) ∧
         s__during(V__D,V__R)
       ∧
       s__during(s__WhenFn(V__X)
    ,V__D)
   ∧
   s__during(V__S,V__D)

s__before(s__WhenFn(V__X)
,V__S))))
)

ArabicCulture.kif 36-46

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners