TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4494-4496
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4492-4492	子類水體 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4491-4491	子類水體 and WaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4540-4540	例北大西洋 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4572-4572	例北太平洋 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4586-4586	例 NortheasternPacificOcean and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4599-4599	例 NorthwesternPacificOcean and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4553-4553	例南大西洋 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4612-4612	例南太平洋 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4499-4499	例世界海洋 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5316-5316	子類渠道 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5672-5672	子類溪 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5179-5179	子類河口 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5122-5122	子類海灣 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5218-5218	子類進口 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5078-5078	子類內陸水域 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4513-4513	子類海洋 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5474-5474	子類河 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4758-4758	子類海 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5278-5278	子類聲音 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5292-5292	子類海峽 and 水體
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11483-11483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11482-11482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11481-11481

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5330-5335	例 Object and 渠道例 Object and 水體連接的 Object and Object 更大 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	例河 and 河例 Object and 水體 Object 是河的 flows WaterArea 例 WaterArea and 河口 WaterArea 是河的 outfall 連接的 WaterArea and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4523-4528	例 Object and 水體例 Object and 海洋例 Object and 海洋更大 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5305-5310	例 Object and 水體例 Object and 水體連接 Object, Object and Object 更大 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	例 Entity and Meat 子類 Meat and 海鮮 Organism EntityEA and Animal Meat 是 Animal 的 meat 例 Organism and Animal 例 EntityEA and 水體棲息 Organism and EntityEA
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	例 Proposition and 爭論例 Process and Reasoning 例 Proposition and Archeology 次提案 Proposition and Proposition 實現 Process and Proposition Process entity, Physical, RealNumber, entity and entity 例 Process and 發現例 Physical and Object 患者 Process and Physical 參照 Process and Process 早期何時 Process and 何時 Process 年齡 Physical and 測量 RealNumber and 年持續時間比較多 RealNumber and 50 持有期間不久的過去何時 Process and 表面 entity and entity 例 entity and 水體方位 Physical, entity and 下面表面 entity and entity 例 entity and LandArea 方位 Physical, entity and 下面
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4742-4749	例 Object and 冰山 Object Object 例 Object and 冰 Object 是 Object 的 most 例 Object and 水體 covers Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1353-1373	例 Process and BreakingWave Process Object, Entity and Transfer 例 Process and 水波子過程 Process and Process 例 Object and 水體例 Entity and 水體患者 Process and Entity 患者 Process and Object 例 Transfer and 落下 objectTransferred Transfer and Object 持有期間開始何時 Transfer and 部分 Object and Entity 持有期間結束何時 Transfer and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5920-5927	例 Object and 淺灘 Object Object 例 Object and 土地形式 Object 是 Object 的 most 例 Object and 水體 covers Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5415-5421	例 Physical and StreamWaterArea Physical 例 Physical and 水體等於 Physical and Physical Physical 是 Physical 的 flows
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5348-5356	例 GeographicArea and 內陸水系統 GeographicArea GeographicArea 例 GeographicArea and 水體例 GeographicArea and 水體等於 GeographicArea and GeographicArea GeographicArea 是 GeographicArea 的 geographic 次要地區 GeographicArea 是 GeographicArea 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5297-5303	例 Object and 海峽 Object Object 例 Object and 水體例 Object and 水體連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1420-1440	waveHeight 水波 and LengthMeasure Object Object, Object and UnitOfMeasure 例 Object and 水體水波是 located 在 Object 部分 Object and Object 部分 Object and Object 距離 Object, Object and LengthMeasure Object ObjectH 部分 Object and Object 高度 Object, Object and 測量 ObjectH and UnitOfMeasure 比較多 ObjectH and 0.0 Object ObjectH 部分 Object and Object 高度 Object, Object and 測量 ObjectH and UnitOfMeasure 比較多 ObjectH and 0.0

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: