OpenSea(open sea) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4707-4709 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4705-4705 | Open sea is an instance of attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42216-42216 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42215-42215 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42214-42214 |
antecedent |
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 |