Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GeneralizedIntersectionFn

appearance as argument number 1

(documentation GeneralizedIntersectionFn ChineseLanguage "这是一个 UnaryFunction,它拿 Class 的一个 SetOrClass 为它的单一参数,然后返回由原本 SetOrClass 所有 Class 的交集为一个 SetOrClass,即是这个 SetOrClass 里的实例只包括出现在所有原本 SetOrClass 的实例。") chinese_format.kif 2306-2308
(documentation GeneralizedIntersectionFn EnglishLanguage "A UnaryFunction that takes a SetOrClass of Classes as its single argument and returns a SetOrClass which is the intersection of all of the Classes in the original SetOrClass, i.e. the SetOrClass containing just those instances which are instances of all instances of the original SetOrClass.") Merge.kif 5432-5436
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5429-5429 The number 1 argument of generalized intersection is a subclass of set or class
(instance GeneralizedIntersectionFn TotalValuedRelation) Merge.kif 5428-5428 Generalized intersection is an instance of total valued relation
(instance GeneralizedIntersectionFn UnaryFunction) Merge.kif 5427-5427 Generalized intersection is an instance of unary function
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5430-5430 The range of generalized intersection is an instance of set or class

appearance as argument number 2

(format ChineseLanguage GeneralizedIntersectionFn "把 %1 所有的 element 并成交集") chinese_format.kif 504-504
(format EnglishLanguage GeneralizedIntersectionFn "the intersection of all the elements of %1") english_format.kif 509-509
(termFormat ChineseLanguage GeneralizedIntersectionFn "一般化交叉口") domainEnglishFormat.kif 25688-25688
(termFormat ChineseLanguage GeneralizedIntersectionFn "概括交集函数") chinese_format.kif 505-505
(termFormat ChineseTraditionalLanguage GeneralizedIntersectionFn "一般化交叉口") domainEnglishFormat.kif 25687-25687
(termFormat EnglishLanguage GeneralizedIntersectionFn "generalized intersection") domainEnglishFormat.kif 25686-25686

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners