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



KB Term:  Term intersection
English Word: 

Sigma KEE - GeneralizedIntersectionFn
GeneralizedIntersectionFn

appearance as argument number 1
-------------------------


(instance GeneralizedIntersectionFn UnaryFunction) Merge.kif 5616-5616 Generalized intersection is an instance of unary function
(instance GeneralizedIntersectionFn TotalValuedRelation) Merge.kif 5617-5617 Generalized intersection is an instance of total valued relation
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5618-5618 The number 1 argument of generalized intersection is a subclass of set or class
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5619-5619 The range of generalized intersection is an instance of set or class
(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 5621-5625 The range of generalized intersection is an instance of set or class

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage GeneralizedIntersectionFn "generalized intersection") domainEnglishFormat.kif 25700-25700
(termFormat ChineseTraditionalLanguage GeneralizedIntersectionFn "一般化交叉口") domainEnglishFormat.kif 25701-25701
(termFormat ChineseLanguage GeneralizedIntersectionFn "一般化交叉口") domainEnglishFormat.kif 25702-25702
(format EnglishLanguage GeneralizedIntersectionFn "the intersection of all the elements of %1") english_format.kif 509-509


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners