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

blob: d2aead5f0ffd5e8a41e54fbf121b4aa820c5adcd (plain)


SymmetricRelation ? (\x,y -> oppositeDirection x y)

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