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 子類 表格文字 and Text

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14507-14507 子類 應用 and 表格文字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14495-14495 子類 選票 and 表格文字
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 929-929 子類 退稅 and 表格文字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14489-14489 子類 測試表格 and 表格文字
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