Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
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 30523052
(
domain
ReverseFn
1
SymbolicString
)
Media.kif 30503050
The number 1 argument of
the reverse of
is an
instance
of
symbolic string
(
instance
ReverseFn
UnaryFunction
)
Media.kif 30493049
The reverse of
is an
instance
of
unary function
(
range
ReverseFn
SymbolicString
)
Media.kif 30513051
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 30543054
(
termFormat
EnglishLanguage
ReverseFn
"the reverse of")
Media.kif 30533053
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 30563077
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 30843089
If
a word
is an
instance
of
Palindrome
and
the word
in
Language
a language
is spelt as
a symbolic string
.,
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 3.0 is
open source software
produced by
Articulate Software
and its partners