abbreviation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27223-27225 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27219-27219 | Le nombre 1 argument de abbreviation est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27220-27220 | Le nombre 2 argument de abbreviation est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27218-27218 | abbreviation est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27221-27221 | abbreviation est une sous-relation de conventionalShortName |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16-16 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15-15 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14-14 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3034-3034 | acronym est une sous-relation de abbreviation |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3616-3616 | currencyCode est une sous-relation de abbreviation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5046-5046 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5045-5045 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5044-5044 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3165-3169 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2809-2809 | abbreviation "ABEDA" and ArabBankForEconomicDevelopmentInAfrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2817-2817 | abbreviation "ACC" and ArabCooperationCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2763-2763 | abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2749-2749 | abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2823-2823 | abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2831-2831 | abbreviation "AL" and ArabLeague |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2850-2850 | abbreviation "AMF" and ArabMonetaryFund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2841-2841 | abbreviation "AMU" and ArabMaghrebUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2888-2888 | abbreviation "ANZUS" and AustraliaNewZealandUnitedStatesSecurityTreaty |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2856-2856 | abbreviation "APEC" and AsiaPacificEconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2876-2876 | abbreviation "ARF" and ASEANRegionalForum |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2868-2868 | abbreviation "ASEAN" and AssociationOfSoutheastAsianNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2754-2754 | abbreviation "AfDB" and AfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2862-2862 | abbreviation "AsDB" and AsianDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2948-2948 | abbreviation "BCIE" and CentralAmericanBankForEconomicIntegration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2941-2941 | abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2894-2894 | abbreviation "BIS" and BankForInternationalSettlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2920-2920 | abbreviation "BSEC" and BlackSeaEconomicCooperationZone |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4091-4091 | abbreviation "BVI" and BritishVirginIslands |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2900-2900 | abbreviation "Benelux" and BeneluxEconomicUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2979-2979 | abbreviation "C" and CommonwealthOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2956-2956 | abbreviation "CACM" and CentralAmericanCommonMarket |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3013-3013 | abbreviation "CAEU" and CouncilOfArabEconomicUnity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2784-2784 | abbreviation "CAN" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3034-3034 | abbreviation "CBSS" and CouncilOfTheBalticSeaStates |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |