examples/SUMO/axioms/MergeP.gft


1
2
3
4
5
6
7
8
9


equal (el ? ? ? (MeasureFn (el ? ? ? (toInt 0)) (el ? ? ? AngularDegree))) (el ? ? ? (MeasureFn (el ? ? ? (toInt 360)) (el ? ? ? AngularDegree)))

typicalPart (desc VocalCords ? ?) (desc Human ? ?)

typicallyContainsPart (desc VocalCords ? ?) (desc Human ? ?)

initialPart (desc VocalCords ? ?) (desc Human ? ?)