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 8597-8605 | |
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 8593-8593 | Le nombre 1 argument de MonthFn est une sous-classe de mois |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8594-8594 | Le nombre 2 argument de MonthFn est une sous-classe de ann�e |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8591-8591 | MonthFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8592-8592 | MonthFn est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8590-8590 | MonthFn est une instance de relation temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8595-8595 | Les valeurs retourn�es par MonthFn sont des sous-classes de mois |
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 9066-9066 | Mois est reli� � l'int�rieur de SUMO � MonthFn |
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. | chinese_format.kif 468-468 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38486-38486 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38485-38485 | |
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 le jour 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3193-3193 | agreementEffectiveDate AntarcticTreaty and ?D est une instance de le jour 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2994-2994 | dateDissolved CoordinatingCommitteeOnExportControls and le jour 31 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3009-3009 | dateDissolved CouncilForMutualEconomicAssistance and le jour 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4145-4145 | dateDissolved UnitedNationsPreventiveDeploymentForce and le jour 25 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4285-4285 | dateDissolved WarsawPact and le jour 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | dateEstablished AfricanCaribbeanAndPacificGroupOfStates and le jour 6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2757-2757 | dateEstablished AfricanDevelopmentBank and le jour 4 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2771-2771 | dateEstablished AgencyForTheFrenchSpeakingCommunity and le jour 20 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2778-2778 | dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and le jour 14 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2796-2796 | dateEstablished AndeanCommunityOfNations and le jour 26 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | dateEstablished AntarcticTreatyCouncil and le jour 23 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2812-2812 | dateEstablished ArabBankForEconomicDevelopmentInAfrica and le jour 18 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2818-2818 | dateEstablished ArabCooperationCouncil and le jour 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | dateEstablished ArabFundForEconomicAndSocialDevelopment and le jour 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2833-2833 | dateEstablished ArabLeague and le jour 22 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2842-2842 | dateEstablished ArabMaghrebUnion and le jour 17 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2851-2851 | dateEstablished ArabMonetaryFund and le jour 27 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2857-2857 | dateEstablished AsiaPacificEconomicCooperation and le jour 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2863-2863 | dateEstablished AsianDevelopmentBank and le jour 19 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2869-2869 | dateEstablished AssociationOfSoutheastAsianNations and le jour 8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2889-2889 | dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and le jour 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2895-2895 | dateEstablished BankForInternationalSettlements and le jour 20 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | dateEstablished BeneluxEconomicUnion and le jour 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | dateEstablished BlackSeaEconomicCooperationZone and le jour 25 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |