Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  spellingInLanguage

Sigma KEE - spellingInLanguage
spellingInLanguage

appearance as argument number 1
-------------------------


(documentation spellingInLanguage EnglishLanguage "The predicate. (spellingInLanguage ?SYMBOLICSTRING ?WORD ?LANGUAGE) means that the SymbolicString ?SYMBOLICSTRING expresses the Word ?WORD in the Language ?LANGUAGE.") Media.kif 3024-3027
(domain spellingInLanguage 1 SymbolicString) Media.kif 3021-3021 The number 1 argument of spellingInLanguage is an instance of symbolic string
(domain spellingInLanguage 2 Word) Media.kif 3022-3022 The number 2 argument of spellingInLanguage is an instance of word
(domain spellingInLanguage 3 Language) Media.kif 3023-3023 The number 3 argument of spellingInLanguage is an instance of language
(instance spellingInLanguage PartialValuedRelation) Media.kif 3020-3020 spellingInLanguage is an instance of partial valued relation
(instance spellingInLanguage TernaryPredicate) Media.kif 3019-3019 spellingInLanguage is an instance of ternary predicate

antecedent
-------------------------


(=>
    (and
        (instance ?WORD Palindrome)
        (spellingInLanguage ?LANGUAGE ?WORD ?SYMBOLICSTRING))
    (equal ?SYMBOLICSTRING
        (ReverseFn ?SYMBOLICSTRING)))
Media.kif 3064-3069


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