| June
| |
| 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 9166-9166 | |
| 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 9164-9164 | June e' uma sub-classe de Mes |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9065-9065 | successorClass June and Julho |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9064-9064 | successorClass Maio and June |
| 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 9172-9176 |
|
| 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 9168-9170 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3193-3193 | agreementEffectiveDate AntarcticTreaty and ?D e' uma instancia de o dia 23 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2714-2714 | dateEstablished AfricanCaribbeanAndPacificGroupOfStates and o dia 6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2765 | dateEstablished AntarcticTreatyCouncil and o dia 23 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2885-2885 | dateEstablished BlackSeaEconomicCooperationZone and o dia 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2978-2978 | dateEstablished CouncilOfArabEconomicUnity and o dia 3 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3024-3024 | dateEstablished EastAfricanDevelopmentBank and o dia 6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3030-3030 | dateEstablished EconomicAndSocialCouncil and o dia 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3299-3299 | dateEstablished GroupOf11 and o dia 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3325-3325 | dateEstablished GroupOf77 and o dia 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3442-3442 | dateEstablished InternationalCriminalPoliceOrganization and o dia 13 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3499-3499 | dateEstablished InternationalHydrographicOrganization and o mes June |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3506-3506 | dateEstablished InternationalLaborOrganization and o dia 28 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3539-3539 | dateEstablished InternationalOlympicCommittee and o dia 23 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3735-3735 | dateEstablished OrganizationOfEasternCaribbeanStates and o dia 18 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3836-3836 | dateEstablished UnitedNations and o dia 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3904-3904 | dateEstablished UnitedNationsGeneralAssembly and o dia 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4004-4004 | dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and o dia 10 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4133-4133 | dateEstablished UnitedNationsSecretariat and o dia 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4144-4144 | dateEstablished UnitedNationsSecurityCouncil and o dia 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4208-4208 | dateEstablished UnitedNationsTruceSupervisionOrganization and o mes June |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4221-4221 | dateEstablished UnitedNationsTrusteeshipCouncil and o dia 26 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4290-4290 | dateEstablished WorldConfederationOfLabor and o dia 19 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1665-1665 | SummerSeason e' igual a o periodo recorrente de June a Agosto |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia e' uma instancia de IndependentState Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|