Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

( ! [V__A2,V__A3,V__CURRENCY,V__AREA] :
   (((s__instance(V__A2,s__SymbolicString) &
         s__instance(V__A3,s__SymbolicString) &
         s__instance(V__CURRENCY,s__UnitOfCurrency) &
         s__instance(V__AREA,s__Class) &
         s__instance(V__AREA,s__GeopoliticalArea))
       =>
       (((s__codeMapping(s__ISO_4217_A,V__A3,V__CURRENCY)
           &
           s__codeMapping(s__ISO_3166_1_alpha_2,V__A2,V__AREA)
         &
         s__subclass(V__AREA,s__GeopoliticalArea) &
         (V__A2 = s__SubstringFn(V__A3,n__0,n__2)))
     =>
     (s__currencyType(V__AREA,V__CURRENCY)))))
)
)

Media.kif 2871-2877


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