December
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2806-2806 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9215-9215 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1547-1547 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4869-4869 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9213-9213 | Decembre est une sous-classe de mois |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9034-9034 | successorClass Novembre and Decembre |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1288-1288 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1793-1793 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 966-966 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 501-501 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 505-505 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2650-2650 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 918-918 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 507-507 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 541-541 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 987-987 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 506-506 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9221-9228 |
|
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 9217-9219 |
|
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. | Medicine.kif 3003-3011 |
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3192-3192 | agreementAdoptionDate AntarcticTreaty and le jour 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2863-2863 | dateEstablished AsianDevelopmentBank and le jour 19 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | dateEstablished CentralAfricanStatesDevelopmentBank and le jour 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | dateEstablished CentralAmericanBankForEconomicIntegration and le jour 13 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2957-2957 | dateEstablished CentralAmericanCommonMarket and le jour 13 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2987-2987 | dateEstablished CommonwealthOfIndependentStates and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2980-2980 | dateEstablished CommonwealthOfNations and le jour 31 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3376-3376 | dateEstablished IndianOceanCommission and le jour 21 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3429-3429 | dateEstablished InternationalCivilAviationOrganization and le jour 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3443-3443 | dateEstablished InternationalConfederationOfFreeTradeUnions and le moi Decembre |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3623-3623 | dateEstablished IslamicDevelopmentBank and le jour 15 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3650-3650 | dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | dateEstablished NordicInvestmentBank and le jour 4 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3705-3705 | dateEstablished OrganizationForEconomicCooperationAndDevelopment and le jour 14 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3834-3834 | dateEstablished SouthAsianAssociationForRegionalCooperation and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3848-3848 | dateEstablished SouthernAfricanCustomsUnion and le jour 11 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3890-3890 | dateEstablished UnitedNationsChildrensFund and le jour 11 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3902-3902 | dateEstablished UnitedNationsConferenceOnTradeAndDevelopment and le jour 30 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3934-3934 | dateEstablished UnitedNationsEnvironmentProgram and le jour 15 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4020-4020 | dateEstablished UnitedNationsHighCommissionerForRefugees and le jour 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4034-4034 | dateEstablished UnitedNationsInstituteForTrainingAndResearch and le jour 11 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4073-4073 | dateEstablished UnitedNationsMissionInBosniaAndHerzegovina and le jour 21 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4100-4100 | dateEstablished UnitedNationsMissionOfObserversInTajikistan and le jour 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4150-4150 | dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4263-4263 | dateEstablished UnitedNationsUniversity and le jour 3 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |