immediateInstance |
appearance as argument number 1 |
![]() |
(documentation immediateInstance ChineseLanguage "如果一个物体是一个 SetOrClass 的 instance,而且它并不是该 SetOrClass 真正的子类别的 instance,那这个物体就是该 SetOrClass 的 immediateInstance。") | chinese_format.kif 1363-1365 | |
(documentation immediateInstance EnglishLanguage "An object is an immediateInstance of a Class if it is an instance of the Class and it is not an instance of a proper subclass of Class.") | Merge.kif 92-94 | |
(instance immediateInstance AsymmetricRelation) | Merge.kif 90-90 | 直接实例 是 非对称关系 的 instance |
(instance immediateInstance IntransitiveRelation) | Merge.kif 91-91 | 直接实例 是 非传递关系 的 instance |
(subrelation immediateInstance instance) | Merge.kif 89-89 | 直接实例 是 实例 的 subrelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage immediateInstance "%1 %n 是 %2 的 immediateInstance") | chinese_format.kif 301-301 | |
(format EnglishLanguage immediateInstance "%1 is %n an immediate instance of %2") | english_format.kif 306-306 | |
(termFormat ChineseLanguage immediateInstance "直接实例") | chinese_format.kif 302-302 | |
(termFormat ChineseLanguage immediateInstance "立即实例") | domainEnglishFormat.kif 29346-29346 | |
(termFormat ChineseTraditionalLanguage immediateInstance "立即實例") | domainEnglishFormat.kif 29345-29345 | |
(termFormat EnglishLanguage immediateInstance "immediate instance") | domainEnglishFormat.kif 29344-29344 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |