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
WestNileVirus
Sigma KEE - ReverseFn
ReverseFn
appearance as argument number 1
(
documentation
ReverseFn
EnglishLanguage
"The reverse of a string.")
Media.kif 3064-3064
(
domain
ReverseFn
1
SymbolicString
)
Media.kif 3062-3062
ReverseFn
の数値 1 引数は
記号文字列
の
instance
では %n
(
instance
ReverseFn
UnaryFunction
)
Media.kif 3061-3061
ReverseFn
は
1変数関数
の
instance
では %n
(
range
ReverseFn
SymbolicString
)
Media.kif 3063-3063
ReverseFn
の
range
は
記号文字列
のインスタンス では %n
appearance as argument number 2
(
format
EnglishLanguage
ReverseFn
"the reverse of %1")
Media.kif 3066-3066
(
termFormat
EnglishLanguage
ReverseFn
"the reverse of")
Media.kif 3065-3065
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 3068-3089
記号文字列
は
ReverseFn
記号文字列
と
equal
では %n
非負整数
は
StringLengthFn
記号文字列
と
equal
では %n
非負整数
は 1 より
greater
では %n
非負整数
は 0 より
greater
では %n
非負整数
は
非負整数
より
less
では %n
整数
は (
非負整数
+ 1) + 2 の
ceiling
と
equal
では %n
非負整数
EW は ((
整数
+
非負整数
) +
整数
) と
equal
では %n
記号文字列
は
SubstringFn
記号文字列
,
非負整数
and (1 +
非負整数
) と
equal
では %n
記号文字列
は
SubstringFn
記号文字列
,
非負整数
EW and (1 +
非負整数
EW) と
equal
では %n
consequent
(=>
(
and
(
instance
?WORD
Palindrome
)
(
spellingInLanguage
?LANGUAGE ?WORD ?SYMBOLICSTRING))
(
equal
?SYMBOLICSTRING
(
ReverseFn
?SYMBOLICSTRING)))
Media.kif 3096-3101
単語
は
Palindrome
の
instance
では %n
spellingInLanguage
記号文字列
,
単語
and
言語
言語
は
ReverseFn
言語
と
equal
では %n
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