localLongName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14754-14756 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14752-14752 | The number 1 argument of local long name is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14753-14753 | The number 2 argument of local long name is an instance of entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14751-14751 | local long name is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14757-14757 | local long name is a subrelation of 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 | Latin american integration association is a local long name of "Asociacion Latinoamericana de Integracion" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2949-2949 | Central american bank for economic integration is a local long name of "Banco Centroamericano de Integracion Economico" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3383-3383 | Inter american development bank is a local long name of "Banco Interamericano de Desarrollo" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2755-2755 | African development bank is a local long name of "Banque Africaine de Developpement" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2810-2810 | Arab bank for economic development in africa is a local long name of "Banque Arabe de Developpement Economique en Afrique" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4296-4296 | West african development bank is a local long name of "Banque Ouest-Africaine de Developpement" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2942-2942 | Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3133-3133 | Economic community of the great lakes countries is a local long name of "Communaute Economique des Pays des Grands Lacs" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3270-3270 | Franc zone is a local long name of "Conference des Ministres des Finances des Pays de la Zone Franc" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3290-3290 | Group of6 is a local long name of "Groupe des Six Sur le Desarmement" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3865-3865 | Southern cone common market is a local long name of "Mercado Comun del Cono Sur" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2776-2776 | Agency for the prohibition of nuclear weapons in latin america and the caribbean is a local long name of "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3630-3630 | Latin american economic system is a local long name of "Sistema Economico Latinoamericana" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4305-4305 | West african economic and monetary union is a local long name of "Union Economique et Monetaire Ouest Africaine" |