No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5712-5712 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5716-5716 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5713-5713 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5715-5715 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5714-5714 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5600-5600 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2670-2670 |
geographicSubregion BosphorousStraitsTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2669-2669 |
BosphorousStraitsTurkey est une instance de secteur g�ographique |