TreeView 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 15255-15258
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 15254-15254	文本是人工制品的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15253-15253	文本是有内用物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15252-15252	文本是语言式表达的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2942-2942	文献的所得值是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14552-14552	系列编号函数的所得值是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14610-14610	文章是文本的 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 15526-15526	证书是文本的 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 7842-7842	基督教福音书是文本的 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 15274-15274	事实文本是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15302-15302	虚构的文字是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14418-14418	表格文字是文本的 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 14405-14405	标签是文本的 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 14353-14353	音乐文本是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14857-14857	叙述文本是文本的 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 9237-9237	Prescription 是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14578-14578	系列是文本的 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 15479-15479	摘要是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2963-2963	条约文件是文本的 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 16540-16540	注册项目的 1 数量是文本的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15370-15370	编辑的 2 数量是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15380-15380	出版的 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 15260-15265	如果客体是文本的 instance，然后有存在另一个客体这样那个另外客体是那个客体的 part 和那个另外客体是语言式表达的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15267-15272	如果实体是文本的 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 18134-18138	如果过程是记忆的 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 8439-8446	如果施事体是图书馆的 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 12747-12752	如果过程是出版的 instance，然后有存在实体这样那个实体是文本的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15854-15860	如果过程是背诵的 instance，然后有存在命题和内容承载物理这样那个过程表示那个命题的内容和那个内容承载物理 contains 那个命题的资料和那个内容承载物理是文本的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12582-12588	如果过程是朗读的 instance，然后有存在内容承载物理和命题这样那个内容承载物理是文本的 instance 和那个内容承载物理 contains 那个命题的资料和那个过程表示那个命题的内容
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15483-15488	如果内容承载物理是摘要的 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 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

KB Term:			Term intersection

English Word: