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 5484-5487
(documentation IntersectionFn JapaneseLanguage "BinaryFunction は、２つの SetOrClass を これらの SetOrClass の交点にマップする 。オブジェクトは、つの SetOrClass の両方のインスタンス である場合に備えて、２つの SetOrClass の交点のインスタンスである。") japanese_format.kif 963-965
(domain IntersectionFn 1 SetOrClass) Merge.kif 5480-5480 IntersectionFn の数値 1 引数は 同じセットまたはクラス の instance では
(domain IntersectionFn 2 SetOrClass) Merge.kif 5481-5481 IntersectionFn の数値 2 引数は 同じセットまたはクラス の instance では
(instance IntersectionFn BinaryFunction) Merge.kif 5478-5478 IntersectionFn は 2変数関数 の instance では
(instance IntersectionFn TotalValuedRelation) Merge.kif 5479-5479 IntersectionFn は 合計値関係 の instance では
(range IntersectionFn SetOrClass) Merge.kif 5482-5482 IntersectionFn の 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
(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 JapaneseLanguage IntersectionFn "%1 と %2 の union") japanese_format.kif 2068-2068
(format PortugueseLanguage IntersectionFn "a intersecao de %1 e %2") portuguese_format.kif 243-243
(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
(format ro IntersectionFn "intersection%t{intersecþia} lui %1 ºi %2") relations-ro.kif 312-312
(format sv IntersectionFn "snittet av %1 och %2") relations-sv.txt 319-319
(termFormat ChineseLanguage IntersectionFn "交集函数") chinese_format.kif 497-497
(termFormat ChineseLanguage IntersectionFn "路口") domainEnglishFormat.kif 30756-30756
(termFormat ChineseTraditionalLanguage IntersectionFn "路口") domainEnglishFormat.kif 30755-30755
(termFormat EnglishLanguage IntersectionFn "intersection") domainEnglishFormat.kif 30754-30754
(termFormat de IntersectionFn "DurchschnittFn") terms-de.txt 197-197

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


(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1747-1748 udaCanSignify MouseButtonHoldDown と SlidingComputerInputDeviceAction の union and DraggingWithCursor
(udaCanSignify
    (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)		 ComputerInput.kif 1805-1806 udaCanSignify MouseButtonHoldDown と SlidingComputerInputDeviceAction の union and WindowScrollingByUser
(udaCanSignify
    (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)		 ComputerInput.kif 1749-1750 udaCanSignify ShiftKeyHoldDown と SlidingComputerInputDeviceAction の union and DraggingWithCursor
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1815-1816 udaCanSignify PressingKeyFn DownArrowKey and VerticalWindowScrolling と WindowScrollingByUser の union
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1824-1825 udaCanSignify PressingKeyFn LeftArrowKey and HorizontalWindowScrolling と WindowScrollingByUser の union
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1822-1823 udaCanSignify PressingKeyFn RightArrowKey and HorizontalWindowScrolling と WindowScrollingByUser の union
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1813-1814 udaCanSignify PressingKeyFn UpArrowKey and VerticalWindowScrolling と WindowScrollingByUser の union


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