| LandlockedWater(landlocked water)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5149-5151 | |
| 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 5147-5147 | 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 5156-5156 | Salt lake is a subclass of landlocked water |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33269-33269 | Salt lake is a subclass of landlocked water |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33268-33268 | Salt lake is a subclass of landlocked water |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33267-33267 | Salt lake is a subclass of landlocked water |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4780-4789 | 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 |
|
|
|