abbreviation |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29136-29138 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29132-29132 | 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 29133-29133 | 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 29131-29131 | abbreviation is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29134-29134 | 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 29145-29145 | acronym is a subrelation of abbreviation |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3953-3953 | currency code is a subrelation of abbreviation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5055-5055 | currency code is a subrelation of abbreviation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5054-5054 | currency code is a subrelation of abbreviation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5053-5053 | currency code is a subrelation of abbreviation |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3149-3153 |
|
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2770-2770 | "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 2778-2778 | "ACC" is an abbreviation of arab cooperation council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2724-2724 | "ACCT" is an abbreviation of agency for the french speaking community |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2710-2710 | "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 2784-2784 | "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 2792-2792 | "AL" is an abbreviation of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2811-2811 | "AMF" is an abbreviation of arab monetary fund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2802-2802 | "AMU" is an abbreviation of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2849-2849 | "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 2817-2817 | "APEC" is an abbreviation of asia pacific economic cooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2837-2837 | "ARF" is an abbreviation of ASEAN regional forum |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2829-2829 | "ASEAN" is an abbreviation of association of southeast asian nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2715-2715 | "AfDB" is an abbreviation of african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2823-2823 | "AsDB" is an abbreviation of asian development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2909-2909 | "BCIE" is an abbreviation of central american bank for economic integration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2902-2902 | "BDEAC" is an abbreviation of central african states development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2855-2855 | "BIS" is an abbreviation of bank for international settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2881-2881 | "BSEC" is an abbreviation of black sea economic cooperation zone |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4086-4086 | "BVI" is an abbreviation of british virgin islands |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2861-2861 | "Benelux" is an abbreviation of benelux economic union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2940-2940 | "C" is an abbreviation of commonwealth of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2917-2917 | "CACM" is an abbreviation of central american common market |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2974-2974 | "CAEU" is an abbreviation of council of arab economic unity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2745-2745 | "CAN" is an abbreviation of andean community of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2995-2995 | "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 |
![]() |
![]() |