February(F�vrier) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2796-2796 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9100-9100 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1537-1537 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4871-4871 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9098-9098 | F�vrier est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9061-9061 | successorClass F�vrier and Mars |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9060-9060 | successorClass Janvier and F�vrier |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1278-1278 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1773-1773 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 956-956 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 491-491 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 495-495 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2640-2640 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 908-908 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 497-497 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 531-531 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 977-977 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 496-496 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9109-9114 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9102-9107 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9116-9120 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9092-9096 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2742-2742 | dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and le jour 14 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2776-2776 | dateEstablished ArabBankForEconomicDevelopmentInAfrica and le jour 18 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2782-2782 | dateEstablished ArabCooperationCouncil and le jour 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2806-2806 | dateEstablished ArabMaghrebUnion and le jour 17 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2865-2865 | dateEstablished BeneluxEconomicUnion and le jour 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3160-3160 | dateEstablished EuropeanMonetaryUnion and le jour 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3218-3218 | dateEstablished EuropeanUnion and le jour 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3401-3401 | dateEstablished InternationalCommitteeOfTheRedCross and le jour 17 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3415-3415 | dateEstablished InternationalCourtOfJustice and le jour 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3557-3557 | dateEstablished InternationalOrganizationForStandardization and le moi F�vrier |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3654-3654 | dateEstablished NuclearEnergyAgency and le jour 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3759-3759 | dateEstablished PacificCommunity and le jour 6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4058-4058 | dateEstablished UnitedNationsMissionOfObserversInPrevlaka and le jour 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | WinterSeason est p�riode recurrente de Decembre � F�vrier |