Searched refs:disconnected (Results 1 - 1 of 1) sorted by relevance

/hets/doc/
H A DUserGuideCommonLogic.tex1042 \forall a_1, a_2 .&\mathrm{equal}(a_1, a_2) \veebar \mathrm{overlapping}(a_1, a_2) \veebar \mathrm{bordering}(a_1, a_2) \veebar \mathrm{disconnected}(a_1, a_2) \veebar\\
1076 (disconnected a1 a2)
1093 . (mutually-disjoint equal overlapping bordering disconnected

Completed in 19 milliseconds