|
|
   November
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2805-2805 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9237-9237 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1546-1546 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4934-4934 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9235-9235 | Novembro e' uma sub-classe de Mes |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9070-9070 | successorClass Novembro and Dezembro |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9069-9069 | successorClass Outubro and Novembro |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1287-1287 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1791-1791 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 965-965 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 500-500 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 504-504 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2649-2649 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 917-917 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 506-506 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 540-540 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 986-986 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 505-505 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9243-9247 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9229-9233 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9239-9241 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 587-597 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 635-640 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | dateEstablished AsiaPacificEconomicCooperation and o dia 7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2929-2929 | dateEstablished CentralEuropeanInitiative and o dia 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3121-3121 | dateEstablished EuroAtlanticPartnershipCouncil and o dia 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4178-4178 | dateEstablished InternationalCriminalTribunalForRwanda and o dia 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3460-3460 | dateEstablished InternationalEnergyAgency and o dia 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3491-3491 | dateEstablished InternationalFundForAgriculturalDevelopment and o mes Novembro |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3551-3551 | dateEstablished InternationalOrganizationForMigration and o dia 5 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3860-3860 | dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and o dia 28 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | dateEstablished UnitedNationsDevelopmentProgram and o dia 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3890-3890 | dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization and o dia 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3991-3991 | dateEstablished UnitedNationsIndustrialDevelopmentOrganization and o dia 17 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4087-4087 | dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and o dia 30 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4262-4262 | dateEstablished WestAfricanDevelopmentBank and o dia 14 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4308-4308 | dateEstablished WorldFoodProgram and o dia 24 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1666-1666 | FallSeason e' igual a o periodo recorrente de Setembro a Novembro |
|
|
|
