$Id: Manchala.daml,v 1.0 2001/06/14 09:33:00 huhns Exp $ A subset of the Earth General Ontology - maxCardinality for maxCardinality(P, N) read: P has maximum cardinality N; i.e. everything x in the domain of P has at most N things y such that P(x, y). maxCardinality for maxCardinality(P, N) read: P has maximum cardinality N; i.e. everything x in the domain of P has at most N things y such that P(x, y).