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 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	子類 Text and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15360-15360	子類 Text and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15359-15359	子類 Text and LinguisticExpression

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3013-3013	範圍子類文獻 and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14619-14619	範圍子類系列卷 and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14677-14677	子類 Article and Text
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2287-2287	子類日曆 and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15633-15633	子類 Certificate and Text
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1025-1025	子類主席出版物 and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7870-7870	子類基督教福音書 and Text
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 993-993	子類教義 and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15381-15381	子類事實文本 and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15409-15409	子類虛構的文字 and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14485-14485	子類表格文字 and Text
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	子類聯合出版物 and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14472-14472	子類標籤 and Text
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 3012-3012	子類 LiveTestUpdate and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 694-694	子類歌詞 and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1392-1392	子類 MotionPicture and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14420-14420	子類音樂文本 and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14924-14924	子類敘述文本 and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 705-705	子類段 and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9265-9265	子類 Prescription and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14645-14645	子類 Series and Text
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4222-4222	子類 Spam and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15586-15586	子類 Summary and Text
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3034-3034	子類條約文件 and Text
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 and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15477-15477	域子類編輯者, 2 and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15487-15487	域子類發布, 2 and Text

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	attribute AutonomousAgent and 作家例 Entity and ContentBearingObject 子類 ContentBearingObject and Text 子類 ContentBearingObject and Document 例 Process and Writing agent Process and AutonomousAgent 結果 Process and Entity 作者 AutonomousAgent and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Media.kif 1894-1898	持有期間 TimePosition and 發布 entity and Class 子類 Class and Text 持有期間 TimePosition and attribute entity and 信息產業
No TPTP formula. May not be expressible in strict first order.	Biography.kif 742-751	例 AutonomousAgent and Human 例 Process and Writing 例 Entity and Text 例 Entity and Document 結果 Process and Entity agent Process and AutonomousAgent attribute AutonomousAgent and 作家
No TPTP formula. May not be expressible in strict first order.	Media.kif 938-943	例 Object and Text 例 Object and Document 部分 Object and Object 例 Object and TextDocument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15367-15372	例 Object and Text Object 部分 Object and Object 例 Object and LinguisticExpression
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15374-15379	例 Entity and Text Process 例 Process and Writing 結果 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	目的地 Process and Object 例 Process and 訊息患者 Process and Entity 例 Object and Telex Process Entity 儀器 Process and Object 結果 Process and Entity 代表 Entity and Entity 例 Entity and Text 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18224-18228	例 Process and 記憶患者 Process and Entity 例 Entity and Text
No TPTP formula. May not be expressible in strict first order.	Biography.kif 717-726	attribute AutonomousAgent and 作家 Entity Process 例 Process and Writing 例 Entity and Text 例 Entity and Document agent Process and AutonomousAgent 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8467-8474	例 AutonomousAgent and 圖書館 Object Physical 擁有 AutonomousAgent and Object 例 Object and LibraryBuilding 例 Physical and Text 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Media.kif 931-936	例 CorpuscularObject and TextDocument CorpuscularObject 例 CorpuscularObject and Text 零件 CorpuscularObject and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3574-3582	例 Entity and 紙模態屬性有目的 Entity and entity 例 entity and Text 部分 entity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12854-12859	例 Process and Publication Entity 例 Entity and Text 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15921-15927	例 Process and 背誦 Proposition 內容承載物理實現 Process and Proposition 包含信息內容承載物理 and Proposition 例內容承載物理 and Text
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12689-12695	例 Process and Reading 內容承載物理 Proposition 例內容承載物理 and Text 包含信息內容承載物理 and Proposition 實現 Process and Proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15590-15595	例內容承載物理 and Summary 內容承載物理例內容承載物理 and Text 包含內容實例內容承載物理 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1514-1520	例 Entity and Writing 內容承載物理 Language 例內容承載物理 and Text 例 Language and WrittenHumanLanguage language 內容承載物理 and Language
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 679-688	例 Process and 書面溝通 Object Object and Collection 結果 Process and Object 例 Object and Text 部分 Object and Object 例 Object and Character 例 Collection and 腳本會員 Object and Collection

statement

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

ComputingBrands.kif 3309-3315

有目的 iBookstore and ?D 例 ?D and 下載儀器 ?D and iBookstore 例 ?T and Text 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: