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 9201-9201 | |
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 9199-9199 | Novembre est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9034-9034 | successorClass Novembre and Decembre |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9033-9033 | successorClass Octobre and Novembre |
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 9207-9211 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9193-9197 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9203-9205 |
|
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 2857-2857 | dateEstablished AsiaPacificEconomicCooperation and le jour 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2965-2965 | dateEstablished CentralEuropeanInitiative and le jour 11 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3157-3157 | dateEstablished EuroAtlanticPartnershipCouncil and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | dateEstablished InternationalCriminalTribunalForRwanda and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | dateEstablished InternationalEnergyAgency and le jour 15 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3527-3527 | dateEstablished InternationalFundForAgriculturalDevelopment and le moi Novembre |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | dateEstablished InternationalOrganizationForMigration and le jour 5 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3896-3896 | dateEstablished UnitedNationsCivilianPoliceMissionInHaiti and le jour 28 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | dateEstablished UnitedNationsDevelopmentProgram and le jour 22 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3926-3926 | dateEstablished UnitedNationsEducationalScientificAndCulturalOrganization and le jour 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4027-4027 | dateEstablished UnitedNationsIndustrialDevelopmentOrganization and le jour 17 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4123-4123 | dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and le jour 30 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4298-4298 | dateEstablished WestAfricanDevelopmentBank and le jour 14 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4344-4344 | dateEstablished WorldFoodProgram and le jour 24 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1666-1666 | FallSeason est p�riode recurrente de Septembre � Novembre |