localLongName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14753-14755 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14751-14751 | Le nombre 1 argument de localLongName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14752-14752 | Le nombre 2 argument de localLongName est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14750-14750 | localLongName est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14756-14756 | localLongName est une sous-relation de names |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1559-1559 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1558-1558 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1557-1557 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34841-34841 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34840-34840 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34839-34839 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3639-3639 | localLongName "Asociacion Latinoamericana de Integracion" and LatinAmericanIntegrationAssociation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2949-2949 | localLongName "Banco Centroamericano de Integracion Economico" and CentralAmericanBankForEconomicIntegration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3383-3383 | localLongName "Banco Interamericano de Desarrollo" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2755-2755 | localLongName "Banque Africaine de Developpement" and AfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2810-2810 | localLongName "Banque Arabe de Developpement Economique en Afrique" and ArabBankForEconomicDevelopmentInAfrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4296-4296 | localLongName "Banque Ouest-Africaine de Developpement" and WestAfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2942-2942 | localLongName "Banque de Developpement des Etats de l'Afrique Centrale" and CentralAfricanStatesDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3133-3133 | localLongName "Communaute Economique des Pays des Grands Lacs" and EconomicCommunityOfTheGreatLakesCountries |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3270-3270 | localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" and FrancZone |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3290-3290 | localLongName "Groupe des Six Sur le Desarmement" and GroupOf6 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3865-3865 | localLongName "Mercado Comun del Cono Sur" and SouthernConeCommonMarket |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2776-2776 | localLongName "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3630-3630 | localLongName "Sistema Economico Latinoamericana" and LatinAmericanEconomicSystem |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4305-4305 | localLongName "Union Economique et Monetaire Ouest Africaine" and WestAfricanEconomicAndMonetaryUnion |