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 14225-14226
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8789-8789
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9807-9807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14224-14224	子類 WaterArea and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14136-14136	劃分 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 4560-4560	子類水體 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14242-14242	子類 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 2016-2016	子類水電水域 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5410-5410	子類內陸水系統 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5724-5724	子類河口 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5578-5578	子類河流系統 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14237-14237	子類 SaltWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3768-3768	子類船泊位 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10265-10265	子類 StaticWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10258-10258	子類 StreamWaterArea and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5553-5553	子類流水匯流 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1362-1362	子類 SurfZone and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5001-5001	子類水流 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5646-5646	子類水路 and WaterArea
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 950-950	子類水路 and WaterArea
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1107-1107	子類水路 and WaterArea
No TPTP formula. May not be expressible in strict first order.	french_format.kif 626-626	子類水路 and WaterArea
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 157-157	子類水路 and WaterArea
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 160-160	子類水路 and WaterArea
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2311-2311	子類水路 and WaterArea
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 578-578	子類水路 and WaterArea

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 6238-6238	域海岸線, 2 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5628-5628	域流動電流, 2 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3174-3174	域可通航草案, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3157-3157	域可通航航運噸位, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 959-959	域海面溫度, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1507-1507	域 significantWaveHeight, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5756-5756	域流出口, 1 and WaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19124-19124	域水深, 1 and WaterArea

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6195-6200	例 Object and 海岸例 Object and WaterArea 方位 Object, Object and 鄰例 Object and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5630-5639	例 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 1561-1574	例 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 6221-6230	例 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 5449-5464	例 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 14228-14235	例 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 3967-3975	例 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 5892-5906	例 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 11267-11274	例 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 5449-5464	例 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 1514-1529	例水波 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 2462-2467	子類 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 14278-14283	例 Object and 岸區 Object 例 Object and WaterArea 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5668-5674	例 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 5391-5397	例 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 5880-5885	例 Object and 披肩 Object 例 Object and WaterArea 滲透 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5686-5691	例 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 5301-5306	例 Object and 進口 Object 例 Object and WaterArea 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14320-14325	例 Object and Island Object 例 Object and WaterArea 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5982-5987	例 Object and 淺灘 Object 例 Object and WaterArea 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6141-6148	例 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 6207-6212	例 Object and 海岸線 Object 例 Object and WaterArea 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 529-534	例 Process and 涉水 Object 例 Object and WaterArea Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5869-5874	例 Object and 半島 Object 例 Object and WaterArea 滲透 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19236-19241	例 Object and UnderwaterRegion Object 例 Object and WaterArea 方位 Object, Object and 下面
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6011-6016	例 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: