| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25521-25523 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25517-25517 | 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 25518-25518 | 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 25516-25516 | abbreviation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25519-25519 | 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 3004-3004 | acronym is a subrelation of abbreviation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3619-3619 | currency code is a subrelation of abbreviation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5051-5051 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5050-5050 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5049-5049 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3133-3137 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2740-2740 | "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 2748-2748 | "ACC" is an abbreviation of arab cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2704-2704 | "ACCT" is an abbreviation of agency for the french speaking community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2690-2690 | "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 2754-2754 | "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 2762-2762 | "AL" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2781-2781 | "AMF" is an abbreviation of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2772-2772 | "AMU" is an abbreviation of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2819-2819 | "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 2787-2787 | "APEC" is an abbreviation of asia pacific economic cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2807-2807 | "ARF" is an abbreviation of ASEAN regional forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2799-2799 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2695-2695 | "AfDB" is an abbreviation of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2793-2793 | "AsDB" is an abbreviation of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2879-2879 | "BCIE" is an abbreviation of central american bank for economic integration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2872-2872 | "BDEAC" is an abbreviation of central african states development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | "BIS" is an abbreviation of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2851-2851 | "BSEC" is an abbreviation of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4093-4093 | "BVI" is an abbreviation of british virgin islands |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2831-2831 | "Benelux" is an abbreviation of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2910-2910 | "C" is an abbreviation of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2887-2887 | "CACM" is an abbreviation of central american common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2944-2944 | "CAEU" is an abbreviation of council of arab economic unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2720-2720 | "CAN" is an abbreviation of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2965-2965 | "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