FinancialOntologyHiO.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/FinancialOntologyHiO.gft

blob: 1f601154f6fbcc7933c1bd1531d8f221615d457a (plain)


IrreflexiveRelation ? (\x,y -> customer x y)

AsymmetricRelation ? (\x,y -> customer x y)