SaltWaterArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14134-14134	不相交的 SaltWaterArea and FreshWaterArea
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1449-1450
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14135-14136
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2519-2519
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2625-2625
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14133-14133	子類 SaltWaterArea and WaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5166-5166	例腺嘌呤 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5174-5174	例 GulfOfMexico and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5158-5158	例阿曼灣 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4539-4539	例北大西洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4571-4571	例北太平洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4585-4585	例 NortheasternPacificOcean and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4598-4598	例 NorthwesternPacificOcean and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5152-5152	例波斯灣 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4552-4552	例南大西洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4611-4611	例南太平洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5313-5313	例霍爾木茲海峽 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4498-4498	例世界海洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5180-5180	子類河口 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1133-1133	子類專屬捕魚區 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1165-1165	子類延伸捕魚區 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5123-5123	子類海灣 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1031-1031	子類海上毗連區 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1100-1100	子類海上專屬經濟區 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4512-4512	子類海洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5086-5086	子類鹽湖 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4757-4757	子類海 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1197-1197	子類領海 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4944-4944	子類浪潮 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 951-951

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 6112-6112

域海岸, 2 and SaltWaterArea

antecedent

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

Geography.kif 5239-5244

例 Object and 進口空間的符合 Object and Object 例 Object and SaltWaterArea
例 Object and SaltWaterArea

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	attribute Object and 公海 Physical RealNumber 例 Object and SaltWaterArea 例 Object and 內陸水域距離 Physical, Object and 測量 RealNumber and 海裡比較多 RealNumber and 5.0
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 5239-5244	例 Object and 進口空間的符合 Object and Object 例 Object and SaltWaterArea 例 Object and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 942-950	例 Object and 內陸地區 Object Object 例 Object and SaltWaterArea 部分 Object and Object 例 Object and 海洋空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5138-5143	例 Object and 海灣 Object 例 Object and SaltWaterArea 適當的部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2829-2834	例 Physical and SeaWater Object 位於 Physical and Object 例 Object and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5187-5193	例 Object and 河口 Object 例 Object and SaltWaterArea 部分 Object and 世界海洋連接的 Object and Object

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: