antecedent

! [V__A2 : $i,V__A3 : $i,V__CURRENCY : $i,V__AREA : $i] : (((s__codeMapping(s__ISO_4217_A, V__A3, V__CURRENCY) & s__codeMapping(s__ISO_3166_1_alpha_2, V__A2, V__AREA) & s__instance(V__AREA, s__GeopoliticalArea) & V__A2 = s__SubstringFn(V__A3, 0, 2)) => s__currencyType(V__AREA, V__CURRENCY)))	Media.kif 2891-2897	If a symbolic string in ISO_4217_A denotes an unit of currency and another symbolic string in ISO_3166_1_alpha_2 denotes a geopolitical area and the geopolitical area is an instance of geopolitical area and equal the other symbolic string and the sub-string of the symbolic string from 0 to 2, then the unit of currency is a currency type of the geopolitical area
! [V__X : $i,V__TOKEN : $i] : ((s__codeMapping(s__ISO_3166_1_alpha_2, V__TOKEN, V__X) => (s__instance(V__X, s__GeographicArea) & s__instance(V__TOKEN, s__AlphabeticString) & s__stringLength(2, V__TOKEN))))	Media.kif 2638-2643	If a symbolic string in ISO_3166_1_alpha_2 denotes an entity, then the entity is an instance of geographic area and the symbolic string is an instance of alphabetic string and the symbolic string is 2 characters long

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