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。") Merge.kif 5524-5526
(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 5520-5523
(domain IntersectionFn 1 SetOrClass) Merge.kif 5517-5517
(domain IntersectionFn 2 SetOrClass) Merge.kif 5518-5518
(instance IntersectionFn BinaryFunction) Merge.kif 5515-5515
(instance IntersectionFn TotalValuedRelation) Merge.kif 5516-5516
(range IntersectionFn SetOrClass) Merge.kif 5519-5519

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 302-302
(format FrenchLanguage IntersectionFn "l' intersection de %1 et %2") french_format.kif 291-291
(format ItalianLanguage IntersectionFn "l' unione di %1 e %2") relations-it.txt 153-153
(format PortugueseLanguage IntersectionFn "a intersecao de %1 e %2") portuguese_format.kif 243-243
(format ar IntersectionFn "تَقَاطُع %1 و %2") arabic_format.kif 217-217
(format de IntersectionFn "der durchschnitt von %1 und %2") relations-de.txt 644-644
(format hi IntersectionFn "%1 aura %2 kaa sarvanishhTha") relations-hindi.txt 192-192
(termFormat ChineseLanguage IntersectionFn "交集函数") chinese_format.kif 497-497
(termFormat EnglishLanguage IntersectionFn "intersection") domainEnglishFormat.kif 5541-5541
(termFormat ar IntersectionFn "«تَقَاطُع»") arabic_format.kif 667-667

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1395-1396
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)
ComputerInput.kif 1449-1450
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)
ComputerInput.kif 1397-1398
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1458-1459
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1465-1466
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1463-1464
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1456-1457


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