| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16105-16106 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16108-16108 | The number 1 argument of former name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16109-16109 | The number 2 argument of former name is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16110-16110 | former name is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16107-16107 | 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 3476-3476 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3475-3475 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3474-3474 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24762-24762 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24761-24761 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24760-24760 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2747-2747 | "AG" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2725-2725 | "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 2750-2750 | "Ancom" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2749-2749 | "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 2748-2748 | "Andean Parliament" is a former name for andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2746-2746 | "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 3674-3674 | "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 3609-3609 | "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 3673-3673 | "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 3199-3199 | "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 3784-3784 | "Grupo de los Ocho" is a former name for rio group |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3932-3932 | "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 2925-2925 | "Hexagonal Initiative" is a former name for central european initiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3545-3545 | "ICEM" is a former name for international organization for migration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3547-3547 | "ICM" is a former name for international organization for migration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4289-4289 | "IFCTU" is a former name for world confederation of labor |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3354-3354 | "IGADD" is a former name for inter governmental authority on development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | "IMCO" is a former name for international maritime organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3353-3353 | "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 3544-3544 | "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 3546-3546 | "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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners