No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1050-1050 |
capitalCity WashingtonDCUnitedStates and UnitedStates |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2448-2448 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5555-5555 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5556-5556 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5194-5194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5559-5559 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5561-5561 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5562-5562 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5558-5558 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5557-5557 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3669-3669 |
geographicSubregion WashingtonDCUnitedStates and UnitedStates |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2447-2447 |
WashingtonDCUnitedStates e' uma instancia de AmericanCity |