range |
appearance as argument number 1 |
![]() |
(documentation range ChineseLanguage "它为函数提供一个范围。就是说,(range ?FUNCTION ?CLASS) 的意思是,所有由 ?FUNCTION 所指定的值,都是这个 ?CLASS 的 instance。") | chinese_format.kif 1490-1491 | |
(documentation range EnglishLanguage "Gives the range of a function. In other words, (range ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are instances of ?CLASS.") | Merge.kif 306-308 | |
(domain range 1 Function) | Merge.kif 304-304 | domain range, 1 and Function |
(domain range 2 SetOrClass) | Merge.kif 305-305 | domain range, 2 and SetOrClass |
(instance range AsymmetricRelation) | Merge.kif 303-303 | instance range and AsymmetricRelation |
(instance range BinaryPredicate) | Merge.kif 302-302 | instance range and BinaryPredicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage range "%1 的 range %n 是 %2 的实例") | chinese_format.kif 313-313 | |
(format EnglishLanguage range "the range of %1 is %n an instance of %2") | english_format.kif 321-321 | |
(termFormat ChineseLanguage range "范围") | chinese_format.kif 314-314 | termFormat ChineseLanguage, range and "范围" |
(termFormat ChineseTraditionalLanguage range "範圍") | domainEnglishFormat.kif 48696-48696 | termFormat ChineseTraditionalLanguage, range and "範圍" |
(termFormat EnglishLanguage range "range") | domainEnglishFormat.kif 48695-48695 | termFormat EnglishLanguage, range and "range" |
antecedent |
![]() |
consequent |
![]() |
(=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1)) |
Merge.kif 316-320 |
|
appearance as argument number 0 |
![]() |
![]() |
![]() |