Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GeneralizedUnionFn |
| appearance as argument number 1 |
|
| (instance GeneralizedUnionFn UnaryFunction) | Merge.kif 5605-5605 | Generalized union is an instance of unary function |
| (instance GeneralizedUnionFn TotalValuedRelation) | Merge.kif 5606-5606 | Generalized union is an instance of total valued relation |
| (domainSubclass GeneralizedUnionFn 1 SetOrClass) | Merge.kif 5607-5607 | The number 1 argument of generalized union is a subclass of set or class |
| (range GeneralizedUnionFn SetOrClass) | Merge.kif 5608-5608 | The range of generalized union is an instance of set or class |
| (documentation GeneralizedUnionFn EnglishLanguage "A UnaryFunction that takes a SetOrClass of Classes as its single argument and returns a SetOrClass which is the merge of all of the Classes in the original SetOrClass, i.e. the SetOrClass containing just those instances which are instances of an instance of the original SetOrClass.") | Merge.kif 5610-5614 | The range of generalized union is an instance of set or class |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GeneralizedUnionFn "generalized union") | domainEnglishFormat.kif 25706-25706 | |
| (termFormat ChineseTraditionalLanguage GeneralizedUnionFn "一般化聯盟") | domainEnglishFormat.kif 25707-25707 | |
| (termFormat ChineseLanguage GeneralizedUnionFn "一般化联盟") | domainEnglishFormat.kif 25708-25708 | |
| (format EnglishLanguage GeneralizedUnionFn "the union of all the elements of %1") | english_format.kif 507-507 |
|