ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] axiom

To: rhm@xxxxxxxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Alex Shkotin <alex.shkotin@xxxxxxxxx>
Date: Wed, 23 Apr 2014 12:25:18 +0400
Message-id: <CAFxxROT=wQR5SYKr6A1_D=KDvn0jCyaa2ojCzUSoQy85Zu8pNg@xxxxxxxxxxxxxx>
Just an example of axiom

(∀x:body 0 ≤ VPC_biotite(x) ≤ 100)

Where VPC - Volume Percentage Content.

It's not proven yet:-)


2014-04-21 9:47 GMT+04:00 Richard H. McCullough <rhmccullough@xxxxxxxxx>:
The New Shorter Oxford English Dictionary gives three definitions.

1) a) An established or generally accepted principle;
b) a maxim;
c) a rule.

2) Logic. A proposition (true or false).

3) Math.
a) A self-evident truth;
b) a proposition on which an abstractly defined structure
is based.

Rand:axiom is 3a;
McCullough:axiom is 3b;
Ontolog Forum:axiom is ?;

 
Dick McCullough
Context Knowledge Systems
Name your propositions !



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
 


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

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