MonthFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2754-2759 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8611-8619 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1481-1487 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8607-8607 | O argumento numero 1 de MonthFn e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8608-8608 | O argumento numero 2 de MonthFn e' uma sub-classe de Ano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8605-8605 | MonthFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8606-8606 | MonthFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8604-8604 | MonthFn e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8609-8609 | Os valores retornados por MonthFn sao as sub-classes de Mes |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 467-467 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 473-473 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 270-270 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 194-194 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2060-2060 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 222-222 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 276-276 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 610-610 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 232-232 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 291-291 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 297-297 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 373-373 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9080-9080 | Mes e' relacionado internamente por SUMO a MonthFn |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38489-38489 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 468-468 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38488-38488 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38487-38487 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 374-374 |
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 2958-2958 | dateDissolved CoordinatingCommitteeOnExportControls and o dia 31 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2973-2973 | dateDissolved CouncilForMutualEconomicAssistance and o dia 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4109-4109 | dateDissolved UnitedNationsPreventiveDeploymentForce and o dia 25 |
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 2714-2714 | dateEstablished AfricanCaribbeanAndPacificGroupOfStates and o dia 6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2721-2721 | dateEstablished AfricanDevelopmentBank and o dia 4 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2735-2735 | dateEstablished AgencyForTheFrenchSpeakingCommunity and o dia 20 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2742-2742 | dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and o dia 14 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2760-2760 | dateEstablished AndeanCommunityOfNations and o dia 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2765 | dateEstablished AntarcticTreatyCouncil and o dia 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2776-2776 | dateEstablished ArabBankForEconomicDevelopmentInAfrica and o dia 18 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2782-2782 | dateEstablished ArabCooperationCouncil and o dia 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2788-2788 | dateEstablished ArabFundForEconomicAndSocialDevelopment and o dia 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | dateEstablished ArabLeague and o dia 22 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2806-2806 | dateEstablished ArabMaghrebUnion and o dia 17 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2815-2815 | dateEstablished ArabMonetaryFund and o dia 27 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | dateEstablished AsiaPacificEconomicCooperation and o dia 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2827-2827 | dateEstablished AsianDevelopmentBank and o dia 19 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | dateEstablished AssociationOfSoutheastAsianNations and o dia 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2853-2853 | dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and o dia 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2859-2859 | dateEstablished BankForInternationalSettlements and o dia 20 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2865-2865 | dateEstablished BeneluxEconomicUnion and o dia 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2885-2885 | dateEstablished BlackSeaEconomicCooperationZone and o dia 25 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |