search

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

Axioms of Mereology #29

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Issue 28 asks for axioms of mereology to be clarified in the reference document.
This issue is to track that these get pulled into the FOL.

Original issue reported on code.google.com by alanruttenberg@gmail.com on 9 May 2012 at 3:03

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 23 May 2012 at 3:51