WaterArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1448-1448
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14143-14144
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8790-8790
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9808-9808
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14142-14142	子類 WaterArea and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	劃分 GeographicArea, WaterArea and LandArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 921-921	子類錨地 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4491-4491	子類水體 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14160-14160	子類 FreshWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 917-917	子類港口 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2028-2028	子類水電水域 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5341-5341	子類內陸水系統 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5655-5655	子類河口 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5509-5509	子類河流系統 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14155-14155	子類 SaltWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2937-2937	子類船泊位 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9038-9038	子類 StaticWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9031-9031	子類 StreamWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5484-5484	子類流水匯流 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1374-1374	子類 SurfZone and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4932-4932	子類水流 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5577-5577	子類水路 and WaterArea
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 950-950
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1107-1107
No TPTP formula. May not be expressible in strict first order.	french_format.kif 626-626
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 157-157
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 160-160
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2311-2311
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 578-578

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.	Geography.kif 6169-6169	域海岸線, 2 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5559-5559	域流動電流, 2 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2646-2646	域可通航草案, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2629-2629	域可通航航運噸位, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 971-971	域海面溫度, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1520-1520	域 significantWaveHeight, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5687-5687	域流出口, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17565-17565	域水深, 1 and WaterArea

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6126-6131	例 Object and 海岸例 Object and WaterArea 方位 Object, Object and 鄰例 Object and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5561-5570	例 WaterArea and 瀑布例水運動 and 水運動 WaterArea 是水運動的 flow 流量起源水運動 and Object 目的地水運動 and Object 例 Object and WaterArea 例 Object and WaterArea 方位 Object, Object and 以上
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1575-1588	例 Process and 高激浪例 Object and WaterArea Process 是 located 在 Object Process AutonomousAgent 例 Process and Swimming 例 AutonomousAgent and Human agent Process and AutonomousAgent Process 是 located 在 Object 持有期間何時 Process and hazardous Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6152-6161	例 Object and 岸區例 Object and WaterArea 方位 Object, Object and 鄰 Object 例 Object and 海岸線部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	例 GeographicArea and 內陸水系統例 GeographicArea and WaterArea 例 GeographicArea and WaterArea 等於 GeographicArea and GeographicArea 連接的 GeographicArea and GeographicArea GeographicArea 是 GeographicArea 的 geographic 次要地區 GeographicArea 是 GeographicArea 的 geographic 次要地區 Object 例 Object and WaterArea 等於 Object and GeographicArea 等於 Object and GeographicArea 部分 Object and GeographicArea 連接 Object, GeographicArea and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14146-14153	例 Object and WaterArea Object HoleRegion and Object 等於洞主持人 HoleRegion and Object 例 Object and Water 適當填充 Object and HoleRegion 等於 mereological 總和 Object and Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	attribute CognitiveAgent and 深海沿岸和大湖泊水運例 CognitiveAgent and 運輸公司服務 Object 例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent 服務是 located 在 Object 例 Object and WaterArea 位於 CognitiveAgent and 北美
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	例 Process and 防表面操作患者 Process and Entity 持有期間何時 Process and 位於 Entity and Entity 例 Entity and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	例 Object and 水車例 Process and Transportation 儀器 Process and Object Object 例 Object and WaterArea Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	例 SelfConnectedObject and 地峽側 SelfConnectedObject and SelfConnectedObject 側 SelfConnectedObject and SelfConnectedObject 等於 SelfConnectedObject and SelfConnectedObject Object Object, Object and Object 例 Object and LandArea 例 Object and LandArea 之間 Object, SelfConnectedObject and Object 例 Object and WaterArea 例 Object and WaterArea 空間的符合 SelfConnectedObject and Object 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11196-11203	例 Process and Swimming agent Process and AutonomousAgent Object 例 Object and WaterArea 位於 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	例 GeographicArea and 內陸水系統例 GeographicArea and WaterArea 例 GeographicArea and WaterArea 等於 GeographicArea and GeographicArea 連接的 GeographicArea and GeographicArea GeographicArea 是 GeographicArea 的 geographic 次要地區 GeographicArea 是 GeographicArea 的 geographic 次要地區 Object 例 Object and WaterArea 等於 Object and GeographicArea 等於 Object and GeographicArea 部分 Object and GeographicArea 連接 Object, GeographicArea and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1528-1543	例水波 and 水波 waveHeight 水波 and LengthMeasure List WaterArea, UnitOfMeasure and RealNumber 在列表中 LengthMeasure and List 例 WaterArea and WaterArea 水波是 located 在 WaterArea 例 UnitOfMeasure and UnitOfLength significantWaveHeight WaterArea, 何時水波 and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 4.0 and StandardDeviationFn List
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 沿海和大湖泊貨運 Process Object and GeographicArea 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 貨船 Process 是 located 在 GeographicArea 例 GeographicArea and WaterArea GeographicArea 是美國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 沿海和大湖泊客運 Process Object and GeographicArea 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 客船 Process 是 located 在 GeographicArea 例 GeographicArea and WaterArea GeographicArea 是美國的 geographic 次要地區 Entity 例 Entity and 近海客船等於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2287-2292	子類 TransportationDevice and 水車例 Process and TransportationDevice 的 transportation Process 是 located 在 Object 例 Object and WaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14196-14201	例 Object and 岸區 Object 例 Object and WaterArea 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5599-5605	例 Object and 運河 Object Object 例 Object and WaterArea 例 Object and WaterArea 連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5322-5328	例 Object and 渠道 Object Object 例 Object and WaterArea 例 Object and WaterArea 連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5811-5816	例 Object and 披肩 Object 例 Object and WaterArea 滲透 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5617-5622	例 Object and 壩 Object 例 Object and WaterArea 橫斷 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 571-577	例 Object and 地面面積 Object 例 Object and WaterArea 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5232-5237	例 Object and 進口 Object 例 Object and WaterArea 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14238-14243	例 Object and Island Object 例 Object and WaterArea 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5913-5918	例 Object and 淺灘 Object 例 Object and WaterArea 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6072-6079	例 Object and 淹沒的土地面積 Object 例 Object and WaterArea 方位 Object, Object and 下面方位 Object, Object and 上空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6138-6143	例 Object and 海岸線 Object 例 Object and WaterArea 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 536-541	例 Process and 涉水 Object 例 Object and WaterArea Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5800-5805	例 Object and 半島 Object 例 Object and WaterArea 滲透 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17677-17682	例 Object and UnderwaterRegion Object 例 Object and WaterArea 方位 Object, Object and 下面
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5942-5947	例 Object and 礁 Object 例 Object and WaterArea 方位 Object, Object and 近

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: