DayFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2760-2763 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8592-8597 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1488-1492 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8588-8588 | O argumento numero 1 de DayFn e' uma instancia de Inteiro positivo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8589-8589 | O argumento numero 2 de DayFn e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8586-8586 | DayFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8587-8587 | DayFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8585-8585 | DayFn e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8590-8590 | Os valores retornados por DayFn sao as sub-classes de Dia |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 469-469 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 475-475 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 271-271 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 65-65 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2061-2061 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 223-223 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 99-99 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 277-277 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 612-612 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 106-106 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 298-298 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 146-146 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9231-9231 | Dia e' relacionado internamente por SUMO a DayFn |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18660-18660 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 470-470 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18659-18659 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18658-18658 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 147-147 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3192-3192 | agreementAdoptionDate AntarcticTreaty and o dia 1 |
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 2994-2994 | dateDissolved CoordinatingCommitteeOnExportControls and o dia 31 |
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 4145-4145 | dateDissolved UnitedNationsPreventiveDeploymentForce and o dia 25 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4285-4285 | dateDissolved WarsawPact and o dia 1 |
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 2757-2757 | dateEstablished AfricanDevelopmentBank and o dia 4 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2771-2771 | dateEstablished AgencyForTheFrenchSpeakingCommunity and o dia 20 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2778-2778 | dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and o dia 14 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2796-2796 | dateEstablished AndeanCommunityOfNations and o dia 26 |
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 2812-2812 | dateEstablished ArabBankForEconomicDevelopmentInAfrica and o dia 18 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2818-2818 | dateEstablished ArabCooperationCouncil and o dia 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | dateEstablished ArabFundForEconomicAndSocialDevelopment and o dia 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | dateEstablished ArabLeague and o dia 22 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2842-2842 | dateEstablished ArabMaghrebUnion and o dia 17 |
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 2857-2857 | dateEstablished AsiaPacificEconomicCooperation and o dia 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2863-2863 | dateEstablished AsianDevelopmentBank and o dia 19 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2869-2869 | dateEstablished AssociationOfSoutheastAsianNations and o dia 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2889-2889 | dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty 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 2901-2901 | dateEstablished BeneluxEconomicUnion and o dia 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | dateEstablished BlackSeaEconomicCooperationZone and o dia 25 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |