Re: what is a loglang?

Following my own logic, I would have tried to describe
the situation you give in your example more or less as
follows (please notice that I'm not a specialist in
atomic physics, therefore I might say horrors about
protons and electrons, but the important thing is the
logic in this case):

(The canonic predicate is still: x R y)

element is-kind-of physical-substance
such-as element is-collection-of atom

(using the relational concept "is-collection-of" would
mean that all elements of the collection are similar)

atom is-kind-of physical-entity
such-as atom is-assoc (atomic-core,electron)
@last.y1 has-cardinality (1,1)
@last.y2 has-cardinality (1,n)
@last.y1 has-inner-location centre
@last.y2 has-inner-location periphery
such-as atom has-diameter-range (...)

atomic-core is-kind-of physical-entity
such-as atomic-core is-assoc (proton,neutron)
@last.y1 has-cardinality (1,n)
@last.y2 has-cardinality (0,n)
(...)

electron is-kind-of physical-entity
such-as electric-load is (...)

proton is ...

neutron is ...

hydrogen is kind-of element
such-as element.atom.atomic-core.proton.number val "1"
such-as element.atom.atomic-core.neutron.number val
"0"
such-as element.atom.electron.number val "1"
(...)

Surely there still are lots of problems in there, but
this was to give the general idea.

BTW, thanks for information about Unicode.

--- "Mark P. Line" <mark@...> wrote:
>
> There's a recent draft of the upper ontology I have
> in mind at:
>
>     http://www.polymathix.com/papers/socs-upper.html
>

=====
Philippe Caquant

"High thoughts must have high language." (Aristophanes, Frogs)


	
		
__________________________________
Do you Yahoo!?
Win a $20,000 Career Makeover at Yahoo! HotJobs
http://hotjobs.sweepstakes.yahoo.com/careermakeover