?包孕式

A)永真式B)包孕式(subsumed)C)空子句 13、在公式中?y?xp(x,y)),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。

?被包含匹配

...匹配的要求：对请求R的每个输出概念，要求3服务匹配方法 服务s的输出概念集中包含相应的概念子集． 定义4 被包含匹配（SUBSUMED）我们称R 本文服务匹配算法中定义了五个匹配度等级 兰SUBSUMED（S），当且仅当（1）VRa C--如， 第8期 熊芳罐于混合语义相似度的服...

?被归入的

... 被归属的 = escheated 被归入的 = subsumed 被归档的 = archived ...