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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntersectionFn
IntersectionFn

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


(documentation IntersectionFn ChineseLanguage "这是一个 BinaryFunction,它把两个 SetOrClass 这两个 SetOrClass 的交集联系起来。一个物体是这两个 SetOrClass 的交集的一个实例, 以防它同时是这两个 SetOrClass 的一个 instance。") chinese_format.kif 2294-2296
(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 5041-5044
(domain IntersectionFn 1 SetOrClass) Merge.kif 5037-5037 The number 1 argument of intersection is an instance of set or class
(domain IntersectionFn 2 SetOrClass) Merge.kif 5038-5038 The number 2 argument of intersection is an instance of set or class
(instance IntersectionFn BinaryFunction) Merge.kif 5035-5035 Intersection is an instance of binary function
(instance IntersectionFn TotalValuedRelation) Merge.kif 5036-5036 Intersection is an instance of total valued relation
(range IntersectionFn SetOrClass) Merge.kif 5039-5039 The range of intersection is an instance of set or class

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


(format ChineseLanguage IntersectionFn "结合 %1 和 %2") chinese_format.kif 496-496
(format EnglishLanguage IntersectionFn "the union of %1 and %2") english_format.kif 504-504
(termFormat ChineseLanguage IntersectionFn "交集函数") chinese_format.kif 497-497 "交集函数" is the printable form of intersection in ChineseLanguage
(termFormat ChineseLanguage IntersectionFn "路口") domainEnglishFormat.kif 30649-30649 "路口" is the printable form of intersection in ChineseLanguage
(termFormat ChineseTraditionalLanguage IntersectionFn "路口") domainEnglishFormat.kif 30648-30648 "路口" is the printable form of intersection in ChineseTraditionalLanguage
(termFormat EnglishLanguage IntersectionFn "intersection") domainEnglishFormat.kif 30647-30647 "intersection" is the printable form of intersection in english language

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1529-1530 The union of MouseButtonHoldDown and SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1583-1584 The union of MouseButtonHoldDown and SlidingComputerInputDeviceAction isgnifies WindowScrollingByUser
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1531-1532 The union of ShiftKeyHoldDown and SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1592-1593 Pressing the DownArrowKey key isgnifies the union of VerticalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1599-1600 Pressing the LeftArrowKey key isgnifies the union of HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1597-1598 Pressing the RightArrowKey key isgnifies the union of HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1590-1591 Pressing the UpArrowKey key isgnifies the union of VerticalWindowScrolling and WindowScrollingByUser


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners