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 - EveningFn
EveningFn
appearance as argument number 1
(
documentation
EveningFn
EnglishLanguage
"A
UnaryFunction
that returns the class of
Evening
s of the given
Day
.")
Merge.kif 8987-8988
(
documentation
EveningFn
JapaneseLanguage
"
UnaryFunction
は、指定された
Day
の
Evening
のクラスを返す。")
japanese_format.kif 1520-1521
(
domain
EveningFn
1
Day
)
Merge.kif 8984-8984
(
instance
EveningFn
PartialValuedRelation
)
Merge.kif 8983-8983
(
instance
EveningFn
TemporalRelation
)
Merge.kif 8981-8981
(
instance
EveningFn
UnaryFunction
)
Merge.kif 8982-8982
(
range
EveningFn
Evening
)
Merge.kif 8985-8985
appearance as argument number 2
(
format
ChineseLanguage
EveningFn
"%1 的 evening ")
domainEnglishFormat.kif 3316-3316
(
format
ChineseTraditionalLanguage
EveningFn
"%1 的 evening ")
domainEnglishFormat.kif 3315-3315
(
format
EnglishLanguage
EveningFn
"the evening of %1")
domainEnglishFormat.kif 3314-3314
(
termFormat
EnglishLanguage
EveningFn
"Evening fn")
domainEnglishFormat.kif 64861-64861
antecedent
(=>
(
and
(
instance
?E
Evening
)
(
instance
?D
Day
)
(
equal
?E
(
EveningFn
?D)))
(
during
?E ?D))
Merge.kif 8990-8995
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