formerName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14715-14716 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14718-14718 | formerName est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14717-14717 | formerName est une sous-relation de names |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3478-3478 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3477-3477 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3476-3476 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24746-24746 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24745-24745 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24744-24744 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2786-2786 | formerName "AG" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2764-2764 | formerName "Agency for Cultural and Technical Cooperation" and AgencyForTheFrenchSpeakingCommunity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2789-2789 | formerName "Ancom" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2788-2788 | formerName "Andean Common Market" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2787-2787 | formerName "Andean Parliament" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2785-2785 | formerName "AndeanGroup" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 602-602 | formerName "Burma" and Myanmar |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3713-3713 | formerName "CSCE" and OrganizationForSecurityAndCooperationInEurope |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3648-3648 | formerName "Central African Customs and Economic Union" and MonetaryAndEconomicCommunityOfCentralAfrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3712-3712 | formerName "Conference on Security and Cooperation in Europe" and OrganizationForSecurityAndCooperationInEurope |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3238-3238 | formerName "Conseil Europeenne pour la Recherche Nucleaire" and EuropeanOrganizationForNuclearResearch |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4226-4226 | formerName "Ellice Islands" and Tuvalu |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 127-127 | formerName "First World" and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4207-4207 | formerName "Gilbert Islands" and Kiribati |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3823-3823 | formerName "Grupo de los Ocho" and RioGroup |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3971-3971 | formerName "Habitat" and UnitedNationsCenterForHumanSettlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2964-2964 | formerName "Hexagonal Initiative" and CentralEuropeanInitiative |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3584-3584 | formerName "ICEM" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3586-3586 | formerName "ICM" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4328-4328 | formerName "IFCTU" and WorldConfederationOfLabor |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3393-3393 | formerName "IGADD" and InterGovernmentalAuthorityOnDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3554-3554 | formerName "IMCO" and InternationalMaritimeOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3392-3392 | formerName "Inter-Governmental Authority on Drought and Development" and InterGovernmentalAuthorityOnDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3583-3583 | formerName "Intergovernmental Committee for European Migration" and InternationalOrganizationForMigration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3585-3585 | formerName "Intergovernmental Committee for Migration" and InternationalOrganizationForMigration |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |