examples/SUMO/axioms/GovernmentHiO.gft


1
2
3
4
5
6
7
8
9
10


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

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

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

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

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