Re: [ontolog-forum] axiom

[Alex Shkotin <alex.shkotin@xxxxxxxxx>]

Or using operator

(∀x:body 0 ≤ VPC(biotite)(x) ≤ 100)

Here biotite is an unary predicate. biotite(x) means "x is a biotite".

VPC - operator. It takes unary predicate and returns unary function from body to number. 

So if we apply VPC to biotite() we get full function of VPC of biotite in any particular body.

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)