subrelation |
appearance as argument number 1 |
![]() |
(documentation subrelation ChineseLanguage "(subrelation ?REL1 ?REL2)的意思是 ?REL1的每个元组也是?REL2的元组。 也就是说,如果 ?REL1的一些参数 arg_1,arg_2,... arg_n 的 Relation 成立的话,那么?REL2的相同参数的 Relation 也同样成立。 因此, 一个 Relation 和它的 subrelation 必须拥有相同的 valence。") | chinese_format.kif 1375-1378 | |
(documentation subrelation EnglishLanguage "(subrelation ?REL1 ?REL2) means that every tuple of ?REL1 is also a tuple of ?REL2. In other words, if the Relation ?REL1 holds for some arguments arg_1, arg_2, ... arg_n, then the Relation ?REL2 holds for the same arguments. A consequence of this is that a Relation and its subrelations must have the same valence.") | Merge.kif 173-178 | |
(domain subrelation 1 Relation) | Merge.kif 171-171 | The number 1 argument of subrelation is an instance of relation |
(domain subrelation 2 Relation) | Merge.kif 172-172 | The number 2 argument of subrelation is an instance of relation |
(instance subrelation BinaryPredicate) | Merge.kif 169-169 | subrelation is an instance of binary predicate |
(instance subrelation PartialOrderingRelation) | Merge.kif 170-170 | subrelation is an instance of partial ordering relation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage subrelation "%1 %n 是 %2 的 subrelation") | chinese_format.kif 321-321 | |
(format EnglishLanguage subrelation "%1 is %n a subrelation of %2") | english_format.kif 326-326 | |
(termFormat ChineseLanguage subrelation "子关系") | chinese_format.kif 322-322 | |
(termFormat ChineseTraditionalLanguage subrelation "子關係") | domainEnglishFormat.kif 55769-55769 | |
(termFormat EnglishLanguage subrelation "subrelation") | domainEnglishFormat.kif 55768-55768 |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?R CaseRole) (subrelation ?R involvedInEvent)) |
Merge.kif 2404-2406 |
|
appearance as argument number 0 |
![]() |
![]() |
![]() |