April
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2798-2798 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9102-9102 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1539-1539 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4959-4959 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4858-4858 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9100-9100 | Abril e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9027-9027 | successorClass Abril and Maio |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9026-9026 | successorClass Marco and Abril |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1280-1280 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1777-1777 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 958-958 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 493-493 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 497-497 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2642-2642 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 910-910 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 499-499 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 533-533 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 979-979 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 498-498 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9108-9112 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9094-9098 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9104-9106 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 498-506 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2851-2851 | dateEstablished ArabMonetaryFund and o dia 27 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | dateEstablished EuropeanBankForReconstructionAndDevelopment and o dia 15 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | dateEstablished EuropeanCommunity and o dia 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3385-3385 | dateEstablished InterAmericanDevelopmentBank and o dia 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3683-3683 | dateEstablished NorthAtlanticTreatyOrganization and o dia 4 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3728-3728 | dateEstablished OrganizationForTheProhibitionOfChemicalWeapons and o dia 29 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3752-3752 | dateEstablished OrganizationOfAmericanStates and o dia 14 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3994-3994 | dateEstablished UnitedNationsInterregionalCrimeAndJusticeResearchInstitute and o dia 29 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | dateEstablished UnitedNationsIraqKuwaitObservationMission and o dia 9 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4066-4066 | dateEstablished UnitedNationsMissionForTheReferendumInWesternSahara and o dia 29 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4374-4374 | dateEstablished WorldTradeOrganization and o dia 15 |