SaltWaterArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14238-14238	不相交的 SaltWaterArea and FreshWaterArea
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1449-1450	不相交的 SaltWaterArea and FreshWaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14239-14240	不相交的 SaltWaterArea and FreshWaterArea
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2518-2518	不相交的 SaltWaterArea and FreshWaterArea
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2624-2624	不相交的 SaltWaterArea and FreshWaterArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14237-14237	子類 SaltWaterArea and WaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5235-5235	例腺嘌呤 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5243-5243	例 GulfOfMexico and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5227-5227	例阿曼灣 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4608-4608	例北大西洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4640-4640	例北太平洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4654-4654	例 NortheasternPacificOcean and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4667-4667	例 NorthwesternPacificOcean and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5221-5221	例波斯灣 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4621-4621	例南大西洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4680-4680	例南太平洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5382-5382	例霍爾木茲海峽 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4567-4567	例世界海洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5249-5249	子類河口 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1127-1127	子類專屬捕魚區 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1159-1159	子類延伸捕魚區 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5192-5192	子類海灣 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1025-1025	子類海上毗連區 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1094-1094	子類海上專屬經濟區 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4581-4581	子類海洋 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5155-5155	子類鹽湖 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4826-4826	子類海 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1191-1191	子類領海 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5013-5013	子類浪潮 and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 951-951	子類浪潮 and SaltWaterArea

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

域海岸, 2 and SaltWaterArea

antecedent

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

Geography.kif 5308-5313

例 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 4780-4789	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 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 5308-5313	例 Object and 進口空間的符合 Object and Object 例 Object and SaltWaterArea 例 Object and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 937-945	例 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 5207-5212	例 Object and 海灣 Object 例 Object and SaltWaterArea 適當的部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2817-2822	例 Physical and SeaWater Object 位於 Physical and Object 例 Object and SaltWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5256-5262	例 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: