SaltWaterArea
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14134-14134 | Salt water area is disjoint from fresh water area |
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 | Salt water area is a subclass of water area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5166-5166 | Gulf of aden is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5174-5174 | Gulf of mexico is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5158-5158 | Gulf of oman is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4539-4539 | North atlantic ocean is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4571-4571 | North pacific ocean is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4585-4585 | Northeastern Pacific ocean is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4598-4598 | Northwestern Pacific Ocean is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5152-5152 | Persian gulf is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4552-4552 | South atlantic ocean is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4611-4611 | South pacific ocean is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5313-5313 | Strait of hormuz is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4498-4498 | World ocean is an instance of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5180-5180 | Estuary is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1133-1133 | Exclusive fishing zone is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1165-1165 | Extended fishing zone is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5123-5123 | Gulf is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1031-1031 | Maritime contiguous zone is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1100-1100 | Maritime exclusive economic zone is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | Ocean is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5086-5086 | Salt lake is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4757-4757 | Sea is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1197-1197 | Territorial sea is a subclass of salt water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4944-4944 | Tide is a subclass of salt water area |
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 | The number 2 argument of seacoast is an instance of salt water area |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5239-5244 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4711-4720 | Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6126-6131 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5239-5244 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 942-950 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5138-5143 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2829-2834 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5187-5193 |
|