| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25050-25052 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25046-25046 | 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 25047-25047 | 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 25045-25045 | abbreviation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25048-25048 | abbreviation is a subrelation of acronym |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13-13 | |
| 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 1275-1275 | "abbreviation" is the printable form of abbreviation in english language |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3080-3084 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2746-2746 | "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 2754-2754 | "ACC" is an abbreviation of arab cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2710-2710 | "ACCT" is an abbreviation of agency for the french speaking community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2696-2696 | "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 2760-2760 | "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 2768-2768 | "AL" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2787-2787 | "AMF" is an abbreviation of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2778-2778 | "AMU" is an abbreviation of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | "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 2793-2793 | "APEC" is an abbreviation of asia pacific economic cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2813-2813 | "ARF" is an abbreviation of ASEAN regional forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2805-2805 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2701-2701 | "AfDB" is an abbreviation of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2799-2799 | "AsDB" is an abbreviation of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2885-2885 | "BCIE" is an abbreviation of central american bank for economic integration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2878-2878 | "BDEAC" is an abbreviation of central african states development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2831-2831 | "BIS" is an abbreviation of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2857-2857 | "BSEC" is an abbreviation of black sea economic cooperation zone |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4095-4095 | "BVI" is an abbreviation of british virgin islands |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2837-2837 | "Benelux" is an abbreviation of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2916-2916 | "C" is an abbreviation of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2893-2893 | "CACM" is an abbreviation of central american common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | "CAEU" is an abbreviation of council of arab economic unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2726-2726 | "CAN" is an abbreviation of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2971-2971 | "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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners