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
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3056-3059
No TPTP formula. May not be expressible in strict first order. Media.kif 3051-3051 The number 1 argument of spelling in language is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3052-3052 The number 2 argument of spelling in language is an instance of word
No TPTP formula. May not be expressible in strict first order. Media.kif 3053-3053 The number 3 argument of spelling in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3050-3050 spelling in language is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3049-3049 spelling in language is an instance of ternary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3054-3055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65939-65939

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3096-3101


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