Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
AfternoonFn
Sigma KEE - AfternoonFn
AfternoonFn
appearance as argument number 1
(
documentation
AfternoonFn
EnglishLanguage
"A
UnaryFunction
that returns the class of
Afternoon
s of the given
Day
.")
Merge.kif 8950-8951
(
documentation
AfternoonFn
JapaneseLanguage
"
UnaryFunction
は、与えられた
Day
の
Afternoon
のクラスを返す。")
japanese_format.kif 1515-1516
(
domain
AfternoonFn
1
Day
)
Merge.kif 8947-8947
The number 1 argument of
afternoon of
is an
instance
of
day
(
instance
AfternoonFn
PartialValuedRelation
)
Merge.kif 8946-8946
Afternoon of
is an
instance
of
partial valued relation
(
instance
AfternoonFn
TemporalRelation
)
Merge.kif 8944-8944
Afternoon of
is an
instance
of
temporal relation
(
instance
AfternoonFn
UnaryFunction
)
Merge.kif 8945-8945
Afternoon of
is an
instance
of
unary function
(
range
AfternoonFn
Afternoon
)
Merge.kif 8948-8948
The
range
of
afternoon of
is an instance of
afternoon
appearance as argument number 2
(
format
ChineseLanguage
AfternoonFn
"%1 的 afternoon ")
domainEnglishFormat.kif 2706-2706
(
format
ChineseTraditionalLanguage
AfternoonFn
"%1 的 afternoon ")
domainEnglishFormat.kif 2705-2705
(
format
EnglishLanguage
AfternoonFn
"the afternoon of %1")
domainEnglishFormat.kif 2704-2704
(
termFormat
EnglishLanguage
AfternoonFn
"afternoon of")
domainEnglishFormat.kif 64408-64408
antecedent
(=>
(
and
(
instance
?E
Afternoon
)
(
instance
?D
Day
)
(
equal
?E
(
AfternoonFn
?D)))
(
during
?E ?D))
Merge.kif 8953-8958
If
an afternoon
is an
instance
of
afternoon
and
a day
is an
instance
of
day
and
equal
the afternoon
and the
afternoon
of
the day
,
then
the afternoon
takes place
during
the day
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