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 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 | June e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9051-9051 | successorClass June and Julho |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9050-9050 | 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 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 e' uma instancia de o dia 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | dateEstablished AfricanCaribbeanAndPacificGroupOfStates and o dia 6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | dateEstablished AntarcticTreatyCouncil and o dia 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | dateEstablished BlackSeaEconomicCooperationZone and o dia 25 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3014-3014 | dateEstablished CouncilOfArabEconomicUnity and o dia 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3060-3060 | dateEstablished EastAfricanDevelopmentBank and o dia 6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3066-3066 | dateEstablished EconomicAndSocialCouncil and o dia 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3335-3335 | dateEstablished GroupOf11 and o dia 22 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | dateEstablished GroupOf77 and o dia 15 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | dateEstablished InternationalCriminalPoliceOrganization and o dia 13 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3535-3535 | dateEstablished InternationalHydrographicOrganization and o mes June |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | dateEstablished InternationalLaborOrganization and o dia 28 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3575-3575 | dateEstablished InternationalOlympicCommittee and o dia 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3771-3771 | dateEstablished OrganizationOfEasternCaribbeanStates and o dia 18 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | dateEstablished UnitedNations and o dia 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3940-3940 | dateEstablished UnitedNationsGeneralAssembly and o dia 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4040-4040 | dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and o dia 10 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4169-4169 | dateEstablished UnitedNationsSecretariat and o dia 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4180-4180 | dateEstablished UnitedNationsSecurityCouncil and o dia 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4244-4244 | dateEstablished UnitedNationsTruceSupervisionOrganization and o mes June |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4257-4257 | dateEstablished UnitedNationsTrusteeshipCouncil and o dia 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4326-4326 | 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 |