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 5170-5173
(domain IntersectionFn 1 SetOrClass) Merge.kif 5166-5166 domain IntersectionFn, 1 and SetOrClass
(domain IntersectionFn 2 SetOrClass) Merge.kif 5167-5167 domain IntersectionFn, 2 and SetOrClass
(instance IntersectionFn BinaryFunction) Merge.kif 5164-5164 instance IntersectionFn and BinaryFunction
(instance IntersectionFn TotalValuedRelation) Merge.kif 5165-5165 instance IntersectionFn and TotalValuedRelation
(range IntersectionFn SetOrClass) Merge.kif 5168-5168 range IntersectionFn and SetOrClass

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
(termFormat ChineseLanguage IntersectionFn "路口") domainEnglishFormat.kif 30664-30664
(termFormat ChineseTraditionalLanguage IntersectionFn "路口") domainEnglishFormat.kif 30663-30663
(termFormat EnglishLanguage IntersectionFn "intersection") domainEnglishFormat.kif 30662-30662

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1762-1763 udaCanSignify IntersectionFn MouseButtonHoldDown and SlidingComputerInputDeviceAction and DraggingWithCursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1820-1821 udaCanSignify IntersectionFn MouseButtonHoldDown and SlidingComputerInputDeviceAction and WindowScrollingByUser
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1764-1765 udaCanSignify IntersectionFn ShiftKeyHoldDown and SlidingComputerInputDeviceAction and DraggingWithCursor
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1830-1831 udaCanSignify PressingKeyFn DownArrowKey and IntersectionFn VerticalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1839-1840 udaCanSignify PressingKeyFn LeftArrowKey and IntersectionFn HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1837-1838 udaCanSignify PressingKeyFn RightArrowKey and IntersectionFn HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1828-1829 udaCanSignify PressingKeyFn UpArrowKey and IntersectionFn 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 3.0 is open source software produced by Articulate Software and its partners