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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Text

Sigma KEE - Text
Text(文本)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3550-3552
No TPTP formula. May not be expressible in strict first order. Merge.kif 15362-15365
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3008-3008
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3229-3229
No TPTP formula. May not be expressible in strict first order. Merge.kif 15361-15361 文本人工制品subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15360-15360 文本有内用物体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15359-15359 文本语言式表达subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3013-3013 文献 的所得值 是 文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14619-14619 系列编号函数 的所得值 是 文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14677-14677 文章文本subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2287-2287 日历文本subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15633-15633 证书文本subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1025-1025 主席出版物文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7870-7870 基督教福音书文本subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 993-993 教义文本subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15381-15381 事实文本文本subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15409-15409 虚构的文字文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14485-14485 表格文字文本subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 921-921 联合出版物文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14472-14472 标签文本subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 3012-3012 LiveTestUpdate文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 694-694 歌词文本subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1392-1392 动态映像文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14420-14420 音乐文本文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14924-14924 叙述文本文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 705-705 文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9265-9265 Prescription文本subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14645-14645 系列文本subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4222-4222 Spam文本subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15586-15586 摘要文本subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 3034-3034 条约文件文本subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1038-1038

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16607-16607 注册项目 的 1 数量 是 文本instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15477-15477 编辑 的 2 数量 是 文本subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15487-15487 出版 的 2 数量 是 文本subclass

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Media.kif 1894-1898
No TPTP formula. May not be expressible in strict first order. Biography.kif 742-751
No TPTP formula. May not be expressible in strict first order. Media.kif 938-943
No TPTP formula. May not be expressible in strict first order. Merge.kif 15367-15372
No TPTP formula. May not be expressible in strict first order. Merge.kif 15374-15379

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18224-18228
No TPTP formula. May not be expressible in strict first order. Biography.kif 717-726
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8467-8474
No TPTP formula. May not be expressible in strict first order. Media.kif 931-936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3574-3582
No TPTP formula. May not be expressible in strict first order. Merge.kif 12854-12859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15921-15927
No TPTP formula. May not be expressible in strict first order. Merge.kif 12689-12695
No TPTP formula. May not be expressible in strict first order. Merge.kif 15590-15595
No TPTP formula. May not be expressible in strict first order. Merge.kif 1514-1520
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 679-688

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3309-3315 IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載instanceiBookstore 是导致 ?D 的 instrument 和 ?T 是 文本instanceobjectTransferred ?D and ?T


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