Re: object algebra
Date: 26 Feb 2004 10:05:22 -0800
Message-ID: <4b45d3ad.0402261005.6883ca28_at_posting.google.com>
> Neo's silly scheme doesn't scale.
> What happens if person X is 98 years old and person Y weighs 98 pounds?
You are correct, the scheme doesn't indicate the quantity's units. Not because it can't, but because the main intent of the example was to demonstrate something else. Two way to specify quantity units are shown below:
Method 1
qty isa thing.
98 isa qty.
unit isa thing.
pound isa unit.
year isa unit.
age isa thing.
* isa age. (* creates an "unnamed" thing)
it isa 98.
it isa year. (it inherents its "name", ie "98 year")
weight isa thing.
* isa weight.
* isa 98.
it isa pound.
Method 2
qty isa thing.
98 isa qty.
unit isa thing.
pound isa unit.
year isa unit.
age isa thing.
98yr isa age.
98yr is 98.
98yr is year.
weight isa thing.
98lb isa weight.
98lb is 98.
98lb is pound.
Received on Thu Feb 26 2004 - 19:05:22 CET