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 spellingInLanguage 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3052-3052 spellingInLanguage 的 2 数量 是 字词instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3053-3053 spellingInLanguage 的 3 数量 是 语言instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3050-3050 spellingInLanguage部分值关系instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3049-3049 spellingInLanguage三元谓语instance

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