holdsRight |
appearance as argument number 1 |
![]() |
(documentation holdsRight ChineseLanguage "这是用来表达 Formula 和 CognitiveAgent 两者之 间的一种关系,那就是 CognitiveAgent 有权利实现 Formula 所指的。") | chinese_format.kif 3893-3894 | |
(documentation holdsRight EnglishLanguage "Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the right to bring it about that the Formula is true.") | Merge.kif 17181-17183 | |
(domain holdsRight 1 Formula) | Merge.kif 17179-17179 | The number 1 argument of holds right is an instance of formula |
(domain holdsRight 2 CognitiveAgent) | Merge.kif 17180-17180 | The number 2 argument of holds right is an instance of cognitive agent |
(instance holdsRight AsymmetricRelation) | Merge.kif 17178-17178 | holds right is an instance of asymmetric relation |
(instance holdsRight BinaryPredicate) | Merge.kif 17177-17177 | holds right is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage holdsRight "%2 %n{doesn't have} 有权利去做 %1") | chinese_format.kif 123-123 | |
(format EnglishLanguage holdsRight "%2 %p{has} %n{doesn't have} the right to perform %1") | english_format.kif 124-124 | |
(relatedInternalConcept holdsObligation holdsRight) | Merge.kif 17201-17201 | holds obligation is internally related to holds right |
(termFormat ChineseLanguage holdsRight "坚持正确") | domainEnglishFormat.kif 28356-28356 | |
(termFormat ChineseLanguage holdsRight "有权利") | chinese_format.kif 124-124 | |
(termFormat ChineseTraditionalLanguage holdsRight "堅持正確") | domainEnglishFormat.kif 28355-28355 | |
(termFormat EnglishLanguage holdsRight "holds right") | domainEnglishFormat.kif 28354-28354 |
consequent |
![]() |
![]() |
![]() |