大家在本体中建立的概念结构，是不是要实例化以后，才能应用。就是说，应用的是实例和实例之间的关系。

(tbox-retrieve (?y) (and (?x woman) (?x ?y has-child)))

大家在本体中建立的概念结构，是不是要实例化以后，才能应用。就是说，应用的是实例和实例之间的关系。
不是，光tbox也可以用，也可以查

同学，你把很多概念搞清楚先吧……

但是就算没有实例华，也可以个用户提供有用的信息，就是TBOX的 classifying

我知道推理出的结果不一定都使用实例表示。比如：tbox-retrieve

但是，通过几天的摸索和使用，我对推理机的概念，实在搞不清头绪。
我对推理机，能推理的Tbox和Abox问题，有一定的疑惑。

Tbox的推理是不是只能做一致性检验，和包含关系,包含关系就是指的has-child,has-parent,has-descendant,has-ancestor这四种？

而Abox就可以查出各种实例之间的关系。

就可以不需要推理机制了吧。