| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23451-23453 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23447-23447 | 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 23448-23448 | 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 23446-23446 | abbreviation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23449-23449 | 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 5055-5055 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5054-5054 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5053-5053 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3135-3139 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2772-2772 | "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 2780-2780 | "ACC" is an abbreviation of arab cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2736-2736 | "ACCT" is an abbreviation of agency for the french speaking community |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2722-2722 | "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 2786-2786 | "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 2794-2794 | "AL" is an abbreviation of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2813-2813 | "AMF" is an abbreviation of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2804-2804 | "AMU" is an abbreviation of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2851-2851 | "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 2819-2819 | "APEC" is an abbreviation of asia pacific economic cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2839-2839 | "ARF" is an abbreviation of ASEAN regional forum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2831-2831 | "ASEAN" is an abbreviation of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2727-2727 | "AfDB" is an abbreviation of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | "AsDB" is an abbreviation of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2911-2911 | "BCIE" is an abbreviation of central american bank for economic integration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2904-2904 | "BDEAC" is an abbreviation of central african states development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2857-2857 | "BIS" is an abbreviation of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2883-2883 | "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 2863-2863 | "Benelux" is an abbreviation of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2942-2942 | "C" is an abbreviation of commonwealth of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2919-2919 | "CACM" is an abbreviation of central american common market |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2976-2976 | "CAEU" is an abbreviation of council of arab economic unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2752-2752 | "CAN" is an abbreviation of andean community of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2997-2997 | "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