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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntersectionFn

 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 5367-5370
(domain IntersectionFn 1 SetOrClass) Merge.kif 5363-5363 交集函数 的 1 数量 是 集或类 的 instance
(domain IntersectionFn 2 SetOrClass) Merge.kif 5364-5364 交集函数 的 2 数量 是 集或类 的 instance
(instance IntersectionFn BinaryFunction) Merge.kif 5361-5361 交集函数 是 二元函数 的 instance
(instance IntersectionFn TotalValuedRelation) Merge.kif 5362-5362 交集函数 是 总值关系 的 instance
(range IntersectionFn SetOrClass) Merge.kif 5365-5365 交集函数 的 range 是 集或类 的实例

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 501-501
(termFormat ChineseLanguage IntersectionFn "交集函数") chinese_format.kif 497-497
(termFormat ChineseLanguage IntersectionFn "路口") domainEnglishFormat.kif 30732-30732
(termFormat ChineseTraditionalLanguage IntersectionFn "路口") domainEnglishFormat.kif 30731-30731
(termFormat EnglishLanguage IntersectionFn "intersection") domainEnglishFormat.kif 30730-30730

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1744-1745 结合 MouseButtonHoldDown 和 SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)		 ComputerInput.kif 1802-1803 结合 MouseButtonHoldDown 和 SlidingComputerInputDeviceAction isgnifies WindowScrollingByUser
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1746-1747 结合 ShiftKeyHoldDown 和 SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1812-1813 Pressing DownArrowKey 鍵 isgnifies 结合 VerticalWindowScrolling 和 WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1821-1822 Pressing LeftArrowKey 鍵 isgnifies 结合 HorizontalWindowScrolling 和 WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1819-1820 Pressing RightArrowKey 鍵 isgnifies 结合 HorizontalWindowScrolling 和 WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1810-1811 Pressing UpArrowKey 鍵 isgnifies 结合 VerticalWindowScrolling 和 WindowScrollingByUser


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 is open source software produced by Articulate Software and its partners