|
|
   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 | Dezembro e' uma sub-classe de Mes |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9034-9034 | successorClass Novembro and Dezembro |
| 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 o dia 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2863-2863 | dateEstablished AsianDevelopmentBank and o dia 19 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | dateEstablished CentralAfricanStatesDevelopmentBank and o dia 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | dateEstablished CentralAmericanBankForEconomicIntegration and o dia 13 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2957-2957 | dateEstablished CentralAmericanCommonMarket and o dia 13 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2987-2987 | dateEstablished CommonwealthOfIndependentStates and o dia 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2980-2980 | dateEstablished CommonwealthOfNations and o dia 31 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3376-3376 | dateEstablished IndianOceanCommission and o dia 21 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3429-3429 | dateEstablished InternationalCivilAviationOrganization and o dia 7 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3443-3443 | dateEstablished InternationalConfederationOfFreeTradeUnions and o mes Dezembro |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3623-3623 | dateEstablished IslamicDevelopmentBank and o dia 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3650-3650 | dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica and o dia 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | dateEstablished NordicInvestmentBank and o dia 4 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3705-3705 | dateEstablished OrganizationForEconomicCooperationAndDevelopment and o dia 14 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3834-3834 | dateEstablished SouthAsianAssociationForRegionalCooperation and o dia 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3848-3848 | dateEstablished SouthernAfricanCustomsUnion and o dia 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3890-3890 | dateEstablished UnitedNationsChildrensFund and o dia 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3902-3902 | dateEstablished UnitedNationsConferenceOnTradeAndDevelopment and o dia 30 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3934-3934 | dateEstablished UnitedNationsEnvironmentProgram and o dia 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4020-4020 | dateEstablished UnitedNationsHighCommissionerForRefugees and o dia 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4034-4034 | dateEstablished UnitedNationsInstituteForTrainingAndResearch and o dia 11 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4073-4073 | dateEstablished UnitedNationsMissionInBosniaAndHerzegovina and o dia 21 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4100-4100 | dateEstablished UnitedNationsMissionOfObserversInTajikistan and o dia 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4150-4150 | dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and o dia 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4263-4263 | dateEstablished UnitedNationsUniversity and o dia 3 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
