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
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 8837-8838
(
documentation
AfternoonFn
JapaneseLanguage
"
UnaryFunction
は、与えられた
Day
の
Afternoon
のクラスを返す。")
japanese_format.kif 1515-1516
(
domain
AfternoonFn
1
Day
)
Merge.kif 8834-8834
Die Zahl 1 Argument von
AfternoonFn
ist ein
fall
von
Day
%n{nicht}
(
instance
AfternoonFn
PartialValuedRelation
)
Merge.kif 8833-8833
AfternoonFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
AfternoonFn
TemporalRelation
)
Merge.kif 8831-8831
AfternoonFn
ist ein
fall
von
TemporalRelation
%n{nicht}
(
instance
AfternoonFn
UnaryFunction
)
Merge.kif 8832-8832
AfternoonFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
AfternoonFn
Afternoon
)
Merge.kif 8835-8835
bildbereich
von
AfternoonFn
ist ein fall von
Afternoon
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
AfternoonFn
"%1 的 afternoon ")
domainEnglishFormat.kif 2710-2710
(
format
ChineseTraditionalLanguage
AfternoonFn
"%1 的 afternoon ")
domainEnglishFormat.kif 2709-2709
(
format
EnglishLanguage
AfternoonFn
"the afternoon of %1")
domainEnglishFormat.kif 2708-2708
(
termFormat
EnglishLanguage
AfternoonFn
"afternoon of")
domainEnglishFormat.kif 64414-64414
antecedent
(=>
(
and
(
instance
?E
Afternoon
)
(
instance
?D
Day
)
(
equal
?E
(
AfternoonFn
?D)))
(
during
?E ?D))
Merge.kif 8840-8845
Wenn
Afternoon
ist ein
fall
von
Afternoon
%n{nicht} und
Day
ist ein
fall
von
Day
%n{nicht} und
** Afternoon
ist gleich
AfternoonFn
** Day
%n{nicht},
dann
** Afternoon
geschieht
waehrend
** Day
%n{nicht}
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