LandlockedWater
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5080-5082 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1490-1490 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5078-5078 | Landlocked water is a subclass of body of water |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5087-5087 | Salt lake is a subclass of landlocked water |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33241-33241 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33240-33240 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33239-33239 |
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 |