No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2438-2438 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5551-5551 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5193-5193 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5552-5552 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5553-5553 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5554-5554 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3657-3657 |
geographicSubregion VladivostokRussia and Russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2437-2437 |
VladivostokRussia e' uma instancia de Cidade |