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


KB Term:  Term intersection
English Word: 

  IntersectionFn

 Sigma KEE - IntersectionFn
IntersectionFn

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


(instance IntersectionFn BinaryFunction) Merge.kif 5573-5573 Intersection is an instance of binary function
(instance IntersectionFn TotalValuedRelation) Merge.kif 5574-5574 Intersection is an instance of total valued relation
(domain IntersectionFn 1 SetOrClass) Merge.kif 5575-5575 The number 1 argument of intersection is an instance of set or class
(domain IntersectionFn 2 SetOrClass) Merge.kif 5576-5576 The number 2 argument of intersection is an instance of set or class
(range IntersectionFn SetOrClass) Merge.kif 5577-5577 The range of intersection is an instance of set or class
(documentation IntersectionFn EnglishLanguage "A BinaryFunction that maps two SetOrClasses to the intersection of these SetOrClasses. An object is an instance of the intersection of two SetOrClasses just in case it is an instance of both of those SetOrClasses.") Merge.kif 5579-5582 The range of intersection is an instance of set or class

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


(termFormat EnglishLanguage IntersectionFn "intersection") domainEnglishFormat.kif 30747-30747
(termFormat ChineseTraditionalLanguage IntersectionFn "路口") domainEnglishFormat.kif 30748-30748
(termFormat ChineseLanguage IntersectionFn "路口") domainEnglishFormat.kif 30749-30749
(format EnglishLanguage IntersectionFn "the union of %1 and %2") english_format.kif 501-501

statement
-------------------------


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1763-1764 The union of mouse button hold down and sliding computer input device action isgnifies dragging with cursor
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1765-1766 The union of shift key hold down and sliding computer input device action isgnifies dragging with cursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)		 ComputerInput.kif 1821-1822 The union of mouse button hold down and sliding computer input device action isgnifies window scrolling by user
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1829-1830 Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1831-1832 Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1838-1839 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1840-1841 Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user


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

Show without tree

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