EconomySubRel.gft « axioms « SUMO « examples - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/examples/SUMO/axioms/EconomySubRel.gft

blob: b1285ee09b1d46d6e1dc4bde941e1c830a3addd9 (plain)


subRelation2El ? ? ? ? (\x,y -> economyType x y) (\x,y -> attribute x y)

subRelation2El ? ? ? ? (\x,y -> currencyCode x y) (\x,y -> abbreviation x y)