| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27235-27237 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27231-27231 | The number 1 argument of abbreviation is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27232-27232 | The number 2 argument of abbreviation is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27230-27230 | abbreviation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27233-27233 | abbreviation is a subrelation of conventional short name |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16-16 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15-15 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14-14 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3034-3034 | acronym is a subrelation of abbreviation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3616-3616 | currency code is a subrelation of abbreviation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5046-5046 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5045-5045 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5044-5044 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3165-3169 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2809-2809 | "ABEDA" is an abbreviation of arab bank for economic development in africa |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2817-2817 | "ACC" is an abbreviation of arab cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2763-2763 | "ACCT" is an abbreviation of agency for the french speaking community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2749-2749 | "ACP Group" is an abbreviation of african caribbean and pacific group of states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2823-2823 | "AFESD" is an abbreviation of arab fund for economic and social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2831-2831 | "AL" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2850-2850 | "AMF" is an abbreviation of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2841-2841 | "AMU" is an abbreviation of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2888-2888 | "ANZUS" is an abbreviation of australia new zealand united states security treaty |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2856-2856 | "APEC" is an abbreviation of asia pacific economic cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2876-2876 | "ARF" is an abbreviation of ASEAN regional forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2868-2868 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2754-2754 | "AfDB" is an abbreviation of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2862-2862 | "AsDB" is an abbreviation of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2948-2948 | "BCIE" is an abbreviation of central american bank for economic integration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2941-2941 | "BDEAC" is an abbreviation of central african states development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2894-2894 | "BIS" is an abbreviation of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2920-2920 | "BSEC" is an abbreviation of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4091-4091 | "BVI" is an abbreviation of british virgin islands |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2900-2900 | "Benelux" is an abbreviation of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2979-2979 | "C" is an abbreviation of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2956-2956 | "CACM" is an abbreviation of central american common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3013-3013 | "CAEU" is an abbreviation of council of arab economic unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2784-2784 | "CAN" is an abbreviation of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3034-3034 | "CBSS" is an abbreviation of council of the baltic sea states |
| 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