只需检查：你将如何公理化，以及这些公理所包含的内容：（首先，用just英国电信，第二个关系更具体）。汽车BT车辆本田S2000 BT汽车西蒙S2000 BT本田S2000[BTI]本田S2000方向盘BT方向盘[BTP]本田S2000方向盘BT本田S2000[BTP]西蒙S2000方向盘BT西蒙S2000[BTP]还有：一个概念在最初构思之前是否存在；它在之后存在吗它被遗忘了；在从未构思过的情态语境中呢首先。西蒙2011年4月18日星期一上午10:09，Jim McCusker<james.mccusker@yale.edu>写道：>达成共识了吗？在这方面还没有太多的讨论>一周。cmo:represents和cmo:representedBy尝试寻址>这些邮件中提出的问题，还有其他好处>也从BFO/现实主义的角度进行了审查。>>谢谢，>吉姆>>2011年4月11日星期一上午5:17，Alistair Miles> <alimanfoo@googlemail.com>写道：>>大家好，> >>>我当然不明白这里的细微差别，但我想我应该标记一个>>CMO之间可能存在联系>8月>>去年关于拟议的foaf:focus属性（参见[1]中的线程），>和>>2005年关于skos:it/skos:as的旧讨论（参见[2]中的帖子）。> >>>cmo:represents和cmo:representedBy可以成为我们的属性吗>寻找？> >>>干杯，> >>>阿利斯泰尔> >> > [1]>http://lists.w3.org/Archives/Public/Public-esw-thes/2010年8月/0002.html> > [2]>http://lists.w3.org/Archives/Public/Public-esw-thes/2005年6月/0002.html> >>>2011年4月9日星期六下午12:30:05-0400，Jim McCusker写道：>>>2011年4月8日星期五下午1:24，Thad Guidry<thadguidry@gmail.com>>写道：>>>>你能在BFO中列出一个快速的例子吗>真空弹会弹出来，这样我就能看到一个skos：Concept，一个>bfo：实体和快照：GenericallyDependentContinuent coordinated>带快照的>>>：DependentContinuent？> >>>>>当然，这实际上是CMO试图解决的问题的很大一部分。这个>>>提交的论文（非诉讼，但已被ICBO接受）可用>>>在http://tw.rpi.du/web/doc/towardscmo。此示例如下所示>>>使用OWL 2执行以下操作。> >>>>>如果vacoule和lytic_vacoule类是通用类：> >>>lytic_vacoule_concept a skos：概念；>>>cmo：表示lytic_vacoule。>>>skos：更广泛的vacoule_concept。>lytic_vacoule a owl:Class，cmo:UniversalClass；>猫头鹰：vacoule的子类。>真空猫头鹰：阶级，cmo:普遍阶级；>>>vacoule_concept a skos：概念；>>>cmo：表示真空。> >>>>>如果类vacoule和lytic_vacoole不是通用的，它们可以>>>表达如下：> >>>lytic_vacoule a skos：概念，猫头鹰：类；>>>cmo：表示lytic_vacoule。>skos：更广泛的真空。>猫头鹰：vacoule的子类。>抽走猫头鹰：类，skos：概念；> >>>在每种情况下，真空的概念是概念，而类>vacoule是这个概念所代表的世界上的事物。在>>>非现实主义表示，类和概念可以是相同的，>>>在现实主义表现中，它们可以保持区分。> >>>>>吉姆> >> -->吉姆·麦库斯克>>>程序员分析师>Krauthammer实验室，病理信息学>耶鲁大学医学院> >>james.mccusker@yale.edu| (203) 785-6330> >>http://krauthammerlab.med.yale.edu> >>>>>博士生>>>无绳世界星座>伦斯勒理工学院> >>mccusj@cs.rpi.edu> >>http://tw.rpi.du> >>> >> > -->>阿利斯泰尔·迈尔斯>>流行病学信息主管>>基因组学和全球健康中心<http://cggh.org>>>惠康人类遗传学信托中心>>罗斯福大道>>牛津>>OX3 7BN>>英国>>网站：http://purl.org/net/aliman>>电子邮件：alimanfoo@gmail.com>>电话：+44（0）1865 287669> >> >>>>> -->吉姆·麦库斯克>程序员分析员>Krauthammer实验室，病理信息学>耶鲁大学医学院>james.mccusker@yale.edu| (203) 785-6330>http://krauthammerlab.med.yale.edu>>博士生>无绳世界星座>伦斯勒理工学院>mccusj@cs.rpi.edu>http://tw.rpi.du>>