June(Juin)![]() | ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2800-2800 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9152-9152 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1541-1541 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4918-4918 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9150-9150 | Juin est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9051-9051 | successorClass Juin and Juillet |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9050-9050 | successorClass Mai and Juin |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1282-1282 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1781-1781 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 960-960 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 495-495 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 499-499 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2644-2644 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 501-501 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 535-535 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 981-981 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 500-500 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9158-9162 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9144-9148 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9154-9156 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3193-3193 | agreementEffectiveDate AntarcticTreaty and ?D est une instance de le jour 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | dateEstablished AfricanCaribbeanAndPacificGroupOfStates and le jour 6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | dateEstablished AntarcticTreatyCouncil and le jour 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | dateEstablished BlackSeaEconomicCooperationZone and le jour 25 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3014-3014 | dateEstablished CouncilOfArabEconomicUnity and le jour 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3060-3060 | dateEstablished EastAfricanDevelopmentBank and le jour 6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3066-3066 | dateEstablished EconomicAndSocialCouncil and le jour 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3335-3335 | dateEstablished GroupOf11 and le jour 22 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | dateEstablished GroupOf77 and le jour 15 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | dateEstablished InternationalCriminalPoliceOrganization and le jour 13 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3535-3535 | dateEstablished InternationalHydrographicOrganization and le moi Juin |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | dateEstablished InternationalLaborOrganization and le jour 28 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3575-3575 | dateEstablished InternationalOlympicCommittee and le jour 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3771-3771 | dateEstablished OrganizationOfEasternCaribbeanStates and le jour 18 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | dateEstablished UnitedNations and le jour 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3940-3940 | dateEstablished UnitedNationsGeneralAssembly and le jour 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4040-4040 | dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and le jour 10 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4169-4169 | dateEstablished UnitedNationsSecretariat and le jour 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4180-4180 | dateEstablished UnitedNationsSecurityCouncil and le jour 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4244-4244 | dateEstablished UnitedNationsTruceSupervisionOrganization and le moi Juin |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4257-4257 | dateEstablished UnitedNationsTrusteeshipCouncil and le jour 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4326-4326 | dateEstablished WorldConfederationOfLabor and le jour 19 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1665-1665 | SummerSeason est p�riode recurrente de Juin � Ao�t |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |