Sentence examples for has separate types from inspiring English sources

Leaving aside Russell's use of "propositional functions" instead of classes and relations, the system of Principia Mathematica (1967), hereinafter PM)) fails to be a set theory because it has separate types for relations (propositional functions of arity > 1).

Consider using a lunchbox that has separate containers for different types of food.

And he also has separate teams devoted to different types of investors, including endowments, foundations and pension funds.

It has separate rules for more than a dozen different types of housing vouchers, along with 120 pages of regulations.

Now that we have separated sub-types of the phenomenon of multiple interpretability, we may reasonably ask how we tell which sub-type is appropriate in a given instance?

Mr. Neeleman said he planned to minimize the additional costs of operating two plane types by having separate pools of pilots flying each craft.

Although both types of gain had separate allowances, this was seen as a sensible move to prevent tax payers from arranging their affairs so that they took their profits as capital gains rather than as income.

On rides with gauchos into the interior to explore geology and collect more fossils, Darwin gained social, political and anthropological insights into both native and colonial people at a time of revolution, and learnt that two types of rhea had separate but overlapping territories.

In the MST (Fig.  2) we have separated the spa types observed in hospitalized patients into categories to show the clustering of both the traditional nosocomial spa types and of the traditional community spa types, demonstrating the phylogenetic diversity with the Alberta MRSA strains.

Detention centres on the mainland, Christmas Island, Manus Island and Nauru have separate contracts, and are generally broken down by service type.

He and Moss have separate plans to study the behavior further by putting bats through other types of obstacle courses.