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

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

 

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