No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5094-5094 |
AralSea e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5092-5092 |
CaspianSea e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5099-5099 |
DeadSea e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5096-5096 |
GreatSaltLake e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5107-5107 |
KokoNor e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5110-5110 |
LakeBakhtegan e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5104-5104 |
LakeEyre e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5114-5114 |
LakeMareotis e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5119-5119 |
LakeTorrens e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5117-5117 |
LakeWalker e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5112-5112 |
PoopoLake e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5101-5101 |
SaltonSea e' uma instancia de SaltLake |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50999-50999 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50998-50998 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50997-50997 |
|