ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] axiom

 To: "Dr. Richard H. McCullough" , "[ontolog-forum]" Alex Shkotin Wed, 23 Apr 2014 13:11:16 +0400
 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 : 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 structureis based.Rand:axiom is 3a;McCullough:axiom is 3b;Ontolog Forum:axiom is ?; Dick McCullough Context Knowledge SystemsName 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) ```
 Current Thread [ontolog-forum] axiom, Richard H. McCullough Re: [ontolog-forum] axiom, John F Sowa Re: [ontolog-forum] axiom, Alex Shkotin Re: [ontolog-forum] axiom, Alex Shkotin Re: [ontolog-forum] axiom, Alex Shkotin <= Re: [ontolog-forum] axiom, Bruce Schuman Re: [ontolog-forum] axiom, Richard H. McCullough Re: [ontolog-forum] axiom, Barkmeyer, Edward J Message not available Re: [ontolog-forum] axiom, Bruce Schuman Re: [ontolog-forum] axiom, Obrst, Leo J. Re: [ontolog-forum] axiom, John F Sowa Re: [ontolog-forum] axiom, Patrick Cassidy Message not availableRe: [ontolog-forum] axiom, Bruce Schuman Re: [ontolog-forum] axiom, John F Sowa Message not availableRe: [ontolog-forum] axiom, Bruce Schuman