instance |
appearance as argument number 1 |
![]() |
(documentation instance ChineseLanguage "如果一个物体属于一个 SetOrClass, 这物体就那个 SetOrClass 的一个instance。 一个个体可以是许多类别的一个 instance, 其中有一些可以是其他类别 的子类别,所以对于 instance 并没有假设任何具体或独特的含义。") | chinese_format.kif 1359-1361 | |
(documentation instance EnglishLanguage "An object is an instance of a SetOrClass if it is included in that SetOrClass. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness.") | Merge.kif 84-87 | |
(domain instance 1 Entity) | Merge.kif 81-81 | domain instance, 1 and Entity |
(domain instance 2 SetOrClass) | Merge.kif 82-82 | domain instance, 2 and SetOrClass |
(instance instance BinaryPredicate) | Merge.kif 80-80 | instance instance and BinaryPredicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage instance "%1 %n 是 %2 的 instance") | chinese_format.kif 305-305 | |
(format EnglishLanguage instance "%1 is %n an instance of %2") | english_format.kif 313-313 | |
(relatedInternalConcept member instance) | Merge.kif 1179-1179 | relatedInternalConcept member and instance |
(subrelation element instance) | Merge.kif 4995-4995 | subrelation element and instance |
(subrelation immediateInstance instance) | Merge.kif 89-89 | subrelation immediateInstance and instance |
(termFormat ChineseLanguage instance "例") | domainEnglishFormat.kif 30151-30151 | termFormat ChineseLanguage, instance and "例" |
(termFormat ChineseLanguage instance "实例") | chinese_format.kif 306-306 | termFormat ChineseLanguage, instance and "实例" |
(termFormat ChineseTraditionalLanguage instance "例") | domainEnglishFormat.kif 30150-30150 | termFormat ChineseTraditionalLanguage, instance and "例" |
(termFormat EnglishLanguage instance "instance") | domainEnglishFormat.kif 30149-30149 | termFormat EnglishLanguage, instance and "instance" |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |