TreeView Knowledge Base Browser - spellingInLanguage

appearance as argument number 1

(instance spellingInLanguage TernaryPredicate)	Media.kif 2978-2978	spelling in language is an instance of ternary predicate
(instance spellingInLanguage PartialValuedRelation)	Media.kif 2979-2979	spelling in language is an instance of partial valued relation
(domain spellingInLanguage 1 SymbolicString)	Media.kif 2980-2980	The number 1 argument of spelling in language is an instance of symbolic string
(domain spellingInLanguage 2 Word)	Media.kif 2981-2981	The number 2 argument of spelling in language is an instance of word
(domain spellingInLanguage 3 Language)	Media.kif 2982-2982	The number 3 argument of spelling in language is an instance of language
(documentation spellingInLanguage EnglishLanguage "The predicate. (spellingInLanguage ?SYMBOLICSTRING ?WORD ?LANGUAGE) means that the SymbolicString ?SYMBOLICSTRING expresses the Word ?WORD in the Language ?LANGUAGE.")	Media.kif 2985-2988	The number 3 argument of spelling in language is an instance of language

appearance as argument number 2

(format EnglishLanguage spellingInLanguage "%2 in Language %3 is spelt as %1.")	Media.kif 2983-2984
(termFormat EnglishLanguage spellingInLanguage "spelling in language")	domainEnglishFormat.kif 65974-65974

antecedent

(=>
    (and
        (instance ?WORD Palindrome)
        (spellingInLanguage ?LANGUAGE ?WORD ?SYMBOLICSTRING))
    (equal ?SYMBOLICSTRING
        (ReverseFn ?SYMBOLICSTRING)))

If X is an instance of palindrome and X in Language Y is spelt as Z., then equal Y and the reverse of Y