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  ReverseFn
ReverseFn
appearance as argument number 1
(
documentation
ReverseFn
EnglishLanguage
"The reverse of a string.")
Media.kif 30323032
(
domain
ReverseFn
1
SymbolicString
)
Media.kif 30303030
The number 1 argument of
the reverse of
is an
instance
of
symbolic string
(
instance
ReverseFn
UnaryFunction
)
Media.kif 30293029
The reverse of
is an
instance
of
unary function
(
range
ReverseFn
SymbolicString
)
Media.kif 30313031
The
range
of
the reverse of
is an instance of
symbolic string
appearance as argument number 2
(
format
EnglishLanguage
ReverseFn
"the reverse of %1")
Media.kif 30343034
(
termFormat
EnglishLanguage
ReverseFn
"the reverse of")
Media.kif 30333033
antecedent
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 30363057
If
a symbolic string
is
equal
to the reverse of
another symbolic string
and
a nonnegative integer
is
equal
to the
length
of
the other symbolic string
and
the nonnegative integer
is
greater
than 1 and
another nonnegative integer
is
greater
than 0 and
the other nonnegative integer
is
less
than
the nonnegative integer
and
an integer
is
equal
to the
ceiling
of (
the nonnegative integer
and 1) and 2 and
the other nonnegative integer
EW is
equal
to ((
the integer
and
the other nonnegative integer
) and
the integer
) and
a third symbolic string
is
equal
to the
sub
string of
the other symbolic string
from
the other nonnegative integer
to (1 and
the other nonnegative integer
),
then
the third symbolic string
is
equal
to the
sub
string of
the symbolic string
from
the other nonnegative integer
EW to (1 and
the other nonnegative integer
EW)
consequent
(=>
(
and
(
instance
?WORD
Palindrome
)
(
spellingInLanguage
?LANGUAGE ?WORD ?SYMBOLICSTRING))
(
equal
?SYMBOLICSTRING
(
ReverseFn
?SYMBOLICSTRING)))
Media.kif 30643069
If
a word
is an
instance
of
Palindrome
and
spellingInLanguage
a symbolic string
,
the word
and
a language
,
then
the language
is
equal
to the reverse of
the language
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