Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - Suhur
Suhur
(suhur)
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
ChineseLanguage
Suhur
"封斋饭")
domainEnglishFormat.kif 56032-56032
(
termFormat
ChineseTraditionalLanguage
Suhur
"封齋飯")
domainEnglishFormat.kif 56031-56031
(
termFormat
EnglishLanguage
Suhur
"suhur")
domainEnglishFormat.kif 56030-56030
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
a physical
is an
instance
of
suhur
,
then there exist
a time interval
,
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
sunrise
and
the time interval
is an
instance
of
ramadan
and
the third time interval
is an
instance
of
day
and
the third time interval
takes place
during
the time interval
and the
time
of existence of
the physical
takes place
during
the third time interval
and
the other time interval
takes place
during
the third time interval
and the
time
of existence of
the physical
happens
before
the other time interval
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
an agent
is an
instance
of
man
and
mausaharati
is an
attribute
of
the agent
and
a process
is an
instance
of
drumming
and
the agent
is an
agent
of
the process
and
the process
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the process
AY and the
time
of existence of
the process
happens
earlier
than
the other time interval
,
then
the process
has the purpose there exist
an entity
,
the other time interval
UHUR and
a third entity
such that
the third entity
is an
instance
of
waking up
and
the entity
experience
s
the third entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the entity
is an
agent
of
the other time interval
UHUR and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other time interval
UHUR and the
time
of existence of
the third entity
takes place
during
the process
AY and the
time
of existence of
the other time interval
UHUR takes place
during
the process
AY
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
