rangeSubclass |
appearance as argument number 1 |
![]() |
(documentation rangeSubclass ChineseLanguage "(rangeSubclass ?FUNCTION ?CLASS) 的意思是 所有由 ?FUNCTION 所指定的值,都是这个 ?CLASS 的 subclass。") | chinese_format.kif 1492-1493 | |
(documentation rangeSubclass EnglishLanguage "(rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS.") | Merge.kif 334-335 | |
(domain rangeSubclass 1 Function) | Merge.kif 332-332 | The number 1 argument of range subclass is an instance of function |
(domainSubclass rangeSubclass 2 Class) | Merge.kif 333-333 | The number 2 argument of range subclass is a subclass of class |
(instance rangeSubclass AsymmetricRelation) | Merge.kif 331-331 | range subclass is an instance of asymmetric relation |
(instance rangeSubclass BinaryPredicate) | Merge.kif 330-330 | range subclass is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage rangeSubclass "%1 的所得值 %n 是 %2 的 subclass") | chinese_format.kif 329-329 | |
(format EnglishLanguage rangeSubclass "the values returned by %1 are %n subclasses of %2") | english_format.kif 334-334 | |
(termFormat ChineseLanguage rangeSubclass "子类别的范围") | chinese_format.kif 330-330 | |
(termFormat ChineseLanguage rangeSubclass "范围子类") | domainEnglishFormat.kif 48747-48747 | |
(termFormat ChineseTraditionalLanguage rangeSubclass "範圍子類") | domainEnglishFormat.kif 48746-48746 | |
(termFormat EnglishLanguage rangeSubclass "range subclass") | domainEnglishFormat.kif 48745-48745 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 343-347 |
|
appearance as argument number 0 |
![]() |
![]() |
![]() |