No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5115-5115 |
LakeMareotis s'appele nom "Lake Mareotis" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5116-5116 |
LakeMareotis s'appele nom "Lake Maryut" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33139-33139 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33138-33138 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33137-33137 |
|