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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FormText

 Sigma KEE - FormText
FormText(表格文字)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14486-14487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2823-2823
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2681-2681
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14485-14485 表格文字 是 文本 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14507-14507 应用 是 表格文字 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14495-14495 选票 是 表格文字 的 subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 929-929 退税 是 表格文字 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14489-14489 测试表格 是 表格文字 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24776-24776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24775-24775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24774-24774


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