Text - Sigma Knowledge base Browser

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 15246-15249
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3009-3009
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3230-3230
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15245-15245	文本是人工制品的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15244-15244	文本是有内用物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15243-15243	文本是语言式表达的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2939-2939	文献的所得值是文本的 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.	Mid-level-ontology.kif 14547-14547	文章是文本的 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 15517-15517	证书是文本的 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 7837-7837	基督教福音书是文本的 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 15265-15265	事实文本是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15293-15293	虚构的文字是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14355-14355	表格文字是文本的 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 14342-14342	标签是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 3013-3013	LiveTestUpdate 是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 666-666	歌词是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1379-1379	动态映像是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14290-14290	音乐文本是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14794-14794	叙述文本是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 677-677	段是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9232-9232	Prescription 是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14515-14515	系列是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4220-4220	Spam 是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15470-15470	摘要是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2960-2960	条约文件是文本的 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 16477-16477	注册项目的 1 数量是文本的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15361-15361	编辑的 2 数量是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15371-15371	出版的 2 数量是文本的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	如果作家是施事体的 attribute 和实体是有点有内用物体的 instance 和有点有内用物体是文本的 subclass 或那个有点有内用物体是 Document 的 subclass 和过程是写作的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 result，然后那个施事体是那个有点有内用物体的 authors
No TPTP formula. May not be expressible in strict first order.	Media.kif 1894-1898	如果实体 publishes 类在时间位置 holdsDuring 和那个类是文本的 subclass，然后信息产业是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Biography.kif 742-751	如果施事体是人类的 instance 和过程是写作的 instance 和实体是文本的 instance 或那个实体是 Document 的 instance 和那个实体是那个过程的 result 和那个施事体是那个过程的 agent，然后作家是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Media.kif 938-943	如果客体是文本的 instance 和另一个客体是 Document 的 instance 和那个客体是那个另外客体的 part，然后那个另外客体是 TextDocument 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15251-15256	如果客体是文本的 instance，然后有存在另一个客体这样那个另外客体是那个客体的 part 和那个另外客体是语言式表达的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15258-15263	如果实体是文本的 instance，然后有存在过程这样那个过程是写作的 instance 和那个实体是那个过程的 result

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	如果过程在客体结束和那个过程是讯息的 instance 和实体是那个过程的 patient 和那个客体是 Telex 的 instance，然后有存在另一个过程和另一个实体这样那个客体是导致那个另外过程的 instrument 和那个另外实体是那个另外过程的 result 和那个另外实体表达那个实体和那个另外实体是文本的 instance 和那个过程出现的 time 的开始%n在那个另外过程出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18064-18068	如果过程是记忆的 instance 和实体是那个过程的 patient，然后那个实体是文本的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 717-726	如果作家是施事体的 attribute，然后有存在实体和过程这样那个过程是写作的 instance 和那个实体是文本的 instance 或那个实体是 Document 的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8434-8441	如果施事体是图书馆的 instance，然后有存在客体和物理这样那个施事体 possesses 那个客体和那个客体是 LibraryBuilding 的 instance 和那个物理是文本的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Media.kif 931-936	如果躯体性物体是 TextDocument 的 instance，然后有存在另一个躯体性物体这样那个另外躯体性物体是文本的 instance 和那个另外躯体性物体是那个躯体性物体的 component
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3546-3554	如果实体是纸的 instance，然后那个实体的目的是有存在另一个实体这样那个另外实体是文本的 instance 和那个另外实体是那个实体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12745-12750	如果过程是出版的 instance，然后有存在实体这样那个实体是文本的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15791-15797	如果过程是背诵的 instance，然后有存在命题和内容承载物理这样那个过程表示那个命题的内容和那个内容承载物理 contains 那个命题的资料和那个内容承载物理是文本的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12580-12586	如果过程是朗读的 instance，然后有存在内容承载物理和命题这样那个内容承载物理是文本的 instance 和那个内容承载物理 contains 那个命题的资料和那个过程表示那个命题的内容
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15474-15479	如果内容承载物理是摘要的 instance，然后有存在那个内容承载物理2 这样那个内容承载物理2 是文本的 instance 和那个内容承载物理2 包含那个内容承载物理的内容
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1501-1507	如果实体是写作的 instance，然后有存在内容承载物理和语言这样那个内容承载物理是文本的 instance 和那个语言是 WrittenHumanLanguage 的 instance 和 language 那个内容承载物理 and 那个语言
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 651-660	如果过程是书面沟通的 instance，然后有存在客体，另一个客体， and 和群体这样那个客体是那个过程的 result 和那个客体是文本的 instance 和那个另外客体是那个客体的 part 和那个另外客体是字符的 instance 和那个群体是脚本的 instance 和那个另外客体是那个群体的 member

statement

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3307-3313

IBookstore 的目的是有存在 ?D 这样 ?D 是下載的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是文本的 instance 和 objectTransferred ?D and ?T

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: