存在某种关系时，推理存在新关系

Rule: use(?D), takesomething(?haha, ?um) -> takesomething(?haha, ?D)

 

posted @ 2020-04-20 17:13  757802  阅读(76)  评论(0)  编辑  收藏  举报