No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3532-3532 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3533-3533 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3531-3531 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3335-3335 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2933-2933 |
geographicSubregion HolonJunctionIsrael and Israel |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2932-2932 |
HolonJunctionIsrael est une instance de secteur g�ographique |