| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27501-27503 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27497-27497 | 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 27498-27498 | 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 27496-27496 | abbreviation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27499-27499 | 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. | Mid-level-ontology.kif 27510-27510 | 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 5050-5050 | currency code is a subrelation of abbreviation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5049-5049 | currency code is a subrelation of abbreviation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5048-5048 | currency code is a subrelation of abbreviation |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3147-3151 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2773-2773 | "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 2781-2781 | "ACC" is an abbreviation of arab cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2727-2727 | "ACCT" is an abbreviation of agency for the french speaking community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2713-2713 | "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 2787-2787 | "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 2795-2795 | "AL" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2814-2814 | "AMF" is an abbreviation of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2805-2805 | "AMU" is an abbreviation of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2852-2852 | "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 2820-2820 | "APEC" is an abbreviation of asia pacific economic cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2840-2840 | "ARF" is an abbreviation of ASEAN regional forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2832-2832 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2718-2718 | "AfDB" is an abbreviation of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | "AsDB" is an abbreviation of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2912-2912 | "BCIE" is an abbreviation of central american bank for economic integration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2905-2905 | "BDEAC" is an abbreviation of central african states development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2858-2858 | "BIS" is an abbreviation of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2884-2884 | "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 2864-2864 | "Benelux" is an abbreviation of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | "C" is an abbreviation of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2920-2920 | "CACM" is an abbreviation of central american common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2977-2977 | "CAEU" is an abbreviation of council of arab economic unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2748-2748 | "CAN" is an abbreviation of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2998-2998 | "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