|
|
   July
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2801-2801 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9180-9180 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1542-1542 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4917-4917 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9178-9178 | Julho e' uma sub-classe de Mes |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9066-9066 | successorClass Julho and Agosto |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9065-9065 | successorClass June and Julho |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1283-1283 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1783-1783 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 961-961 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 496-496 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 500-500 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2645-2645 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 913-913 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 502-502 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 982-982 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 501-501 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9186-9190 |
|
| 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 9182-9184 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4249-4249 | dateDissolved WarsawPact and o dia 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2892-2892 | dateEstablished CaribbeanCommunityAndCommonMarket and o dia 4 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3203-3203 | dateEstablished EuropeanOrganizationForNuclearResearch and o dia 1 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3378-3378 | dateEstablished InternationalBankForReconstructionAndDevelopment and o dia 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3531-3531 | dateEstablished InternationalMonetaryFund and o dia 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3781-3781 | dateEstablished PermanentCourtOfArbitration and o dia 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4045-4045 | dateEstablished UnitedNationsMissionInEthiopiaAndEritrea and o dia 31 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4100-4100 | dateEstablished UnitedNationsPopulationFund and o mes Julho |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4254-4254 | dateEstablished WassenaarArrangement and o dia 12 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4314-4314 | dateEstablished WorldHealthOrganization and o dia 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4320-4320 | dateEstablished WorldIntellectualPropertyOrganization and o dia 14 |
|
|
|
