formerName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14716-14717 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14719-14719 | former name is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14718-14718 | former name is a subrelation of 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 | "AG" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2764-2764 | "Agency for Cultural and Technical Cooperation" is a former name for agency for the french speaking community |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2789-2789 | "Ancom" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2788-2788 | "Andean Common Market" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2787-2787 | "Andean Parliament" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2785-2785 | "AndeanGroup" is a former name for andean community of nations |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 602-602 | "Burma" is a former name for myanmar |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3713-3713 | "CSCE" is a former name for organization for security and cooperation in europe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3648-3648 | "Central African Customs and Economic Union" is a former name for monetary and economic community of central africa |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3712-3712 | "Conference on Security and Cooperation in Europe" is a former name for organization for security and cooperation in europe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3238-3238 | "Conseil Europeenne pour la Recherche Nucleaire" is a former name for european organization for nuclear research |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4226-4226 | "Ellice Islands" is a former name for tuvalu |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 127-127 | "First World" is a former name for developed country |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4207-4207 | "Gilbert Islands" is a former name for kiribati |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3823-3823 | "Grupo de los Ocho" is a former name for rio group |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3971-3971 | "Habitat" is a former name for united nations center for human settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2964-2964 | "Hexagonal Initiative" is a former name for central european initiative |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3584-3584 | "ICEM" is a former name for international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3586-3586 | "ICM" is a former name for international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4328-4328 | "IFCTU" is a former name for world confederation of labor |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3393-3393 | "IGADD" is a former name for inter governmental authority on development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3554-3554 | "IMCO" is a former name for international maritime organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3392-3392 | "Inter-Governmental Authority on Drought and Development" is a former name for inter governmental authority on development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3583-3583 | "Intergovernmental Committee for European Migration" is a former name for international organization for migration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3585-3585 | "Intergovernmental Committee for Migration" is a former name for international organization for migration |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |