uom-ontology-std
[Top] [All Lists]

Re: [uom-ontology-std] What is mass?

To: uom-ontology-std <uom-ontology-std@xxxxxxxxxxxxxxxx>, "Matthew West" <dr.matthew.west@xxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 4 Oct 2009 22:18:08 -0500
Message-id: <5D6DF232-C97D-4299-8F9A-63020B22FC2E@xxxxxxx>

On Oct 2, 2009, at 2:51 AM, Matthew West wrote:    (01)

> Dear Pat,
>
>>> Gunther,
>>>
>>> Maximum allowable temperature is a disposition of the object.
>>> The object may reach never reach that temperature, or may reach
>> it,
>>> even
>>> exceed it, but that does not have much, in itself, to do with the
>>> property.
>>>
>>> The property is something like: other things being equal, if you
>>> stay below
>>> this temperature the object (more often, a type of object) will
>>> operate as
>>> specified - if you go above it then it may not.
>>>
>>> (Allowable is probably not the best example, as one could try and
>>> cash this
>>> out by saying that one is defining two states that the object can
>> be
>>> in -
>>> below (or equal) to the maximum and above the maximum. But that
>>> would ignore
>>> the intention that staying within the 'allowable' range should
>>> provide some
>>> guarantee of normal operation.)
>>>
>>> So, the object has (or does not have) this property whatever its
>>> actual
>>> temperature.
>>
>> OK, but this does not contradict anything anyone has said. It is a
>> property of the object, and its value is a temperature (better, it
>> is
>> a relationship between the object and a temperature.)
>
> MW: Exactly! And a relationship to a temperature is not a temperature.    (02)

But the temperature that this relationship is borne to IS a  
temperature. Look:    (03)

(forall ((x MyHotMotor)(= (Kelvin 1200)(maximumAllowableTemperature  
x) ))    (04)

Now, of course the relation itself is not a temperature:    (05)

(not (isTemperature maximumAllowableTemperature))    (06)

but its value, which is what we usually mean by a phrase like 'maximum  
allowable temperature of...', is one:    (07)

(forall (x)(isTemperature (maximumAllowableTemperature x)))    (08)


Pat    (09)


>
>> It is,
>> however,
>> not the property which we commonly call 'the temperature of the
>> object'. I see no problem here that needs anything special to be
>> done
>> or discussed.
>
> MW: I agree. But if we go back to the beginning the question was that
> there are some units that only have a single quantity kind, and I was
> suggesting that just as with Maximum Allowable Working Temperature,  
> that
> you can make some quantity kinds up for any unit.
>
> Regards
>
> Matthew West
> Information  Junction
> Tel: +44 560 302 3685
> Mobile: +44 750 3385279
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> http://www.informationjunction.co.uk/
> http://www.matthew-west.org.uk/
>
> This email originates from Information Junction Ltd. Registered in
> England and Wales No. 6632177.
> Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
> Hertfordshire, SG6 3JE.
>
>
>
>>
>> Pat H.
>>
>>
>>>
>>> I suppose one could argue that these are not quantities at all -
>> but
>>> then (I
>>> am told) most useful engineering measures would be excluded.
>>>
>>> Regards,
>>> Chris Partridge
>>> Chief Ontologist
>>>
>>> Mobile:     +44 790 5167263
>>> Phone:      +44 20 81331891
>>> Fax:            +44 20 7855 0268
>>> E-Mail:       partridgec@xxxxxxxxxxxxxxx
>>>
>>> BORO Centre Limited
>>> Website:                                     www.BOROCentre.com
>>> Registered in England No:   04418581
>>> Registered Office:                  25 Hart Street, Henley on
>> Thames,
>>> Oxfordshire RG9 2AR
>>>
>>> This email message is intended for the named recipient(s) only.
>> It
>>> may be
>>> privileged and/or confidential. If you are not an intended named
>>> recipient
>>> of this email then you should not copy it or use it for any
>> purpose,
>>> nor
>>> disclose its contents to any other person. You should contact
>> BORO
>>> Centre
>>> Limited as shown above so that we can take appropriate action at
>> no
>>> cost to
>>> yourself. All BORO Centre Limited outgoing E-mails are checked
>> using
>>> Anti
>>> Virus software.
>>>
>>>> -----Original Message-----
>>>> From: uom-ontology-std-bounces@xxxxxxxxxxxxxxxx [mailto:uom-
>> ontology-std-
>>>> bounces@xxxxxxxxxxxxxxxx] On Behalf Of Gunther Schadow
>>>> Sent: 29 September 2009 21:51
>>>> To: uom-ontology-std
>>>> Subject: Re: [uom-ontology-std] What is mass?
>>>>
>>>> Matthew West wrote:
>>>>> Dear Ingvar,
>>>>>
>>>>> This sounds like an interesting challenge.
>>>>>
>>>>>> I am as aware of the contents of VIM as of the SI brochure,
>> and
>>>>>> your
>>>>>> "n.b." makes exactly my point. What you might call "newton-
>> meter as
>>>>>> a unit
>>>>>> alone", I prefer to call "nominal newton-meter". However, note
>> that
>>>>>> only
>>>>>> some units can be called nominal units and tied to more than
>> one
>>>>>> kind-of-quantity; many units are unambiguously tied only to
>> one
>>>>>> kind-of-quantity.
>>>>>
>>>>> Could you give me a unit (or two) that you think only applies
>> to one
>>>>> kind-of-quantity, and I'll see if I can identify another?
>>>>>
>>>>> Engineering is full of things like Maximum Allowable Working
>>>>> Temperature, which is certainly not a temperature (try
>> measuring
>>>>> it with
>>>>> a thermometer).
>>>>
>>>>
>>>> Why is maximum allowable temperature not a temperature? Just
>> because
>>>> it isn't realized? It is a temperature specification. It is a
>>>> quantity
>>>> even if it doesn't exist anywhere at any particular moment in
>> time.
>>>>
>>>> But of course that is another issue and I still agree that a
>> maximum
>>>> allowable temperature of this machine can not be well compared
>> with
>>>> the water temperature of my pool -- but then they can if the
>> machine
>>>> is meant to go into my pool (which I don't have)
>>>>
>>>> -Gunther
>>>>
>>>>
>>>> --
>>>> Gunther Schadow, M.D., Ph.D.
>>>> gschadow@xxxxxxxxxxxxxxx
>>>> Associate Professor           Indiana University School of
>>>> Informatics
>>>> Regenstrief Institute, Inc.      Indiana University School of
>>>> Medicine
>>>> tel:1(317)423-5521                       http://
>>>> aurora.regenstrief.org
>>>>
>>>>
>>>>
>> _________________________________________________________________
>>>> Message Archives: http://ontolog.cim3.net/forum/uom-ontology-
>> std/
>>>> Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
>>>> Config/Unsubscribe:
>>> http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
>>>> Shared Files: http://ontolog.cim3.net/file/work/UoM/
>>>> Wiki: http://ontolog.cim3.net/cgi-
>> bin/wiki.pl?UoM_Ontology_Standard
>>>>
>>>
>>>
>>> _________________________________________________________________
>>> Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
>>> Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
>>> Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-
>> ontology-std/
>>> Shared Files: http://ontolog.cim3.net/file/work/UoM/
>>> Wiki: http://ontolog.cim3.net/cgi-
>> bin/wiki.pl?UoM_Ontology_Standard
>>>
>>>
>>
>> ------------------------------------------------------------
>> IHMC                                     (850)434 8903 or (650)494
>> 3973
>> 40 South Alcaniz St.           (850)202 4416   office
>> Pensacola                            (850)202 4440   fax
>> FL 32502                              (850)291 0667   mobile
>> phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
>>
>>
>>
>>
>>
>>
>> _________________________________________________________________
>> Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
>> Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
>> Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-
>> ontology-std/
>> Shared Files: http://ontolog.cim3.net/file/work/UoM/
>> Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard
>>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
> Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
> Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
> Shared Files: http://ontolog.cim3.net/file/work/UoM/
> Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard
>
>    (010)

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (011)






_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/  
Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx 
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/  
Shared Files: http://ontolog.cim3.net/file/work/UoM/  
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard    (012)

<Prev in Thread] Current Thread [Next in Thread>