No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1757-1757 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5737-5737 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5736-5736 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2884-2884 |
geographicSubregion GroznyChechnya and Chechnya |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1756-1756 |
GroznyChechnya e' uma instancia de Cidade |