Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 8739-8740
(
domain
AfternoonFn
1
Day
)
Merge.kif 8736-8736
(
instance
AfternoonFn
PartialValuedRelation
)
Merge.kif 8735-8735
(
instance
AfternoonFn
TemporalRelation
)
Merge.kif 8733-8733
(
instance
AfternoonFn
UnaryFunction
)
Merge.kif 8734-8734
(
range
AfternoonFn
Afternoon
)
Merge.kif 8737-8737
appearance as argument number 2
(
format
ChineseLanguage
AfternoonFn
"%1 的 afternoon ")
domainEnglishFormat.kif 2711-2711
(
format
ChineseTraditionalLanguage
AfternoonFn
"%1 的 afternoon ")
domainEnglishFormat.kif 2710-2710
(
format
EnglishLanguage
AfternoonFn
"the afternoon of %1")
domainEnglishFormat.kif 2709-2709
antecedent
(=>
(
and
(
instance
?E
Afternoon
)
(
instance
?D
Day
)
(
equal
?E
(
AfternoonFn
?D)))
(
during
?E ?D))
Merge.kif 8742-8747
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