To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Alex Shkotin <alex.shkotin@xxxxxxxxx> |
Date: | Mon, 23 Jun 2014 19:56:22 +0400 |
Message-id: | <CAFxxROQYFmMw3xFJ=43KQBxgPqnNEe_PqjdODheqXnXno9pghw@xxxxxxxxxxxxxx> |
Robert, have a look at https://sites.google.com/site/definitionsinontologies/
1) types are: definition of constant, of predicate, of function. 2) non-FOL def:
VPC(p)(ob) ≝ 100*Volume_in(p,ob)/Volume(ob).
i.e. Volume Percentage Content of p in body ob is...
We define an operator VPC here as p is a substance predicate. Like water(ob) is true if body ob is water and only water.
3) of what? Alex 2014-06-22 5:31 GMT+04:00 <rrovetto@xxxxxxxxxxx>:
_________________________________________________________________ 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) |
Previous by Date: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Barkmeyer, Edward J |
---|---|
Next by Date: | [ontolog-forum] [CONTACT @ ECCV 2014] Deadline extension!, roberta . ferrario |
Previous by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Alex Shkotin |
Next by Thread: | [ontolog-forum] Invitation to submit to the second annual JBMS Ontology Issue (updated dates), Robert Hoehndorf |
Indexes: | [Date] [Thread] [Top] [All Lists] |