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 14513-14514
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 14512-14512 表格文字 是 文本 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14534-14534 应用 是 表格文字 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14522-14522 选票 是 表格文字 的 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 14516-14516 测试表格 是 表格文字 的 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