No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5094-5094 |
Aral sea is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5092-5092 |
Caspian sea is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5099-5099 |
Dead sea is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5096-5096 |
Great salt lake is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5107-5107 |
Koko nor is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5110-5110 |
Lake bakhtegan is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5104-5104 |
Lake eyre is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5114-5114 |
Lake mareotis is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5119-5119 |
Lake torrens is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5117-5117 |
Lake walker is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5112-5112 |
Poopo lake is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5101-5101 |
Salton sea is an instance of salt lake |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50997-50997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50996-50996 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50995-50995 |
|