January(Janeiro) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2795-2795 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9072-9072 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1536-1536 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4897-4897 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9070-9070 | Janeiro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9046-9046 | successorClass Janeiro and Fevereiro |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1277-1277 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1771-1771 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 955-955 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 490-490 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 494-494 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2639-2639 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 907-907 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 496-496 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 530-530 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 976-976 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 495-495 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9243-9250 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9078-9082 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9074-9076 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2391-2396 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3009-3009 | dateDissolved CouncilForMutualEconomicAssistance and o dia 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2895-2895 | dateEstablished BankForInternationalSettlements and o dia 20 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3008-3008 | dateEstablished CouncilForMutualEconomicAssistance and o dia 25 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3146-3146 | dateEstablished EconomicCooperationOrganization and o mes Janeiro |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3183-3183 | dateEstablished EuropeanFreeTradeAssociation and o dia 4 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3489-3489 | dateEstablished InternationalDevelopmentAssociation and o dia 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | dateEstablished OrganizationForSecurityAndCooperationInEurope and o dia 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3765-3765 | dateEstablished OrganizationOfArabPetroleumExportingCountries and o dia 9 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3808-3808 | dateEstablished PartnershipForPeace and o dia 11 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4060-4060 | dateEstablished UnitedNationsMilitaryObserverGroupInIndiaAndPakistan and o dia 24 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4368-4368 | dateEstablished WorldTourismOrganization and o dia 2 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | UnixEpoch e' igual a o segundo 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 517-517 | Epiphany e' uma sub-classe de o dia 6 |