No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2355-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3380-3380 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3613-3613 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3610-3610 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3611-3611 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3608-3608 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3612-3612 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3609-3609 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3614-3614 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3570-3570 |
geographicSubregion TBilisiGeorgia and RepublicOfGeorgia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2354-2354 |
TBilisiGeorgia e' uma instancia de Cidade |