Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  Afternoon
Afternoon
(afternoon)
afternoon
appearance as argument number 1
(
disjoint
Afternoon
Evening
)
Merge.kif 82188218
Afternoon
is
disjoint
from
Evening
(
documentation
Afternoon
EnglishLanguage
"The class of
TimeInterval
s that begin at noon and end at
Sunset
.")
Merge.kif 82158216
(
subclass
Afternoon
DayTime
)
Merge.kif 82148214
Afternoon
is a
subclass
of
day time
appearance as argument number 2
(
disjoint
Morning
Afternoon
)
Merge.kif 82178217
Morning
is
disjoint
from
afternoon
(
range
AfternoonFn
Afternoon
)
Merge.kif 82568256
The
range
of
AfternoonFn
is an instance of
afternoon
(
termFormat
ChineseLanguage
Afternoon
"下午")
domainEnglishFormat.kif 57735773
(
termFormat
ChineseTraditionalLanguage
Afternoon
"下午")
domainEnglishFormat.kif 57725772
(
termFormat
EnglishLanguage
Afternoon
"afternoon")
domainEnglishFormat.kif 57715771
antecedent
(=>
(
and
(
instance
?EVE
Evening
)
(
instance
?AFT
Afternoon
)
(
instance
?D
Day
)
(
during
?EVE ?D)
(
during
?AFT ?D))
(
meetsTemporally
?AFT ?EVE))
Merge.kif 83408347
If
a time interval
is an
instance
of
Evening
and
another time interval
is an
instance
of
afternoon
and
a third time interval
is an
instance
of
day
and
the time interval
takes place
during
the third time interval
and
the other time interval
takes place
during
the third time interval
,
then
the other time interval
meet
s
the time interval
(=>
(
instance
?A
Afternoon
)
(
exists
(?N)
(
and
(
instance
?N
Noon
)
(
equal
(
BeginFn
?A) ?N))))
Merge.kif 82658270
If
a time interval
is an
instance
of
afternoon
,
then there exists
a time point
such that
the time point
is an
instance
of
Noon
and the
beginning
of
the time interval
is
equal
to
the time point
(=>
(
instance
?AFTERNOON
Afternoon
)
(
exists
(?HOUR)
(
and
(
instance
?HOUR
(
HourFn
12 ?DAY))
(
starts
?HOUR ?AFTERNOON))))
Merge.kif 82218226
If
a time interval
is an
instance
of
afternoon
,
then there exists
another time interval
such that
the other time interval
is an
instance
of the
hour
12 and
the other time interval
start
s
the time interval
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners