Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  abbreviation

Sigma KEE - abbreviation
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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