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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - classIntersection
classIntersection

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


(documentation classIntersection EnglishLanguage "(classIntersection ?CLASS1 ?CLASS2 ?INT_CLASS) means that ?INT_CLASS is the intersection of the two classes, ?CLASS1 and ?CLASS2. This means that every instance of ?CLASS1 that is also an instance of ?CLASS2 is an instance of ?INT_CLASS and that every instance of ?INT_CLASS is an instance of both ?CLASS1 and ?CLASS2.") ComputerInput.kif 71-71
(domain classIntersection 1 SetOrClass) ComputerInput.kif 68-68 domain classIntersection, 1 and SetOrClass
(domain classIntersection 2 SetOrClass) ComputerInput.kif 69-69 domain classIntersection, 2 and SetOrClass
(domain classIntersection 3 SetOrClass) ComputerInput.kif 70-70 domain classIntersection, 3 and SetOrClass
(instance classIntersection TernaryPredicate) ComputerInput.kif 67-67 instance classIntersection and TernaryPredicate

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


(format ChineseLanguage classIntersection "%1 和 %2 的 intersection 是 %3 ") domainEnglishFormat.kif 2991-2991
(format ChineseTraditionalLanguage classIntersection "%1 和 %2 的 intersection 是 %3 ") domainEnglishFormat.kif 2990-2990
(format EnglishLanguage classIntersection "the intersection of %1 and %2 is %3") domainEnglishFormat.kif 2989-2989

antecedent
-------------------------


(=>
    (and
        (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT)
        (instance ?ITEM ?CLASS1)
        (instance ?ITEM ?CLASS2))
    (instance ?ITEM ?INTERSECT))
ComputerInput.kif 82-87
(=>
    (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT)
    (and
        (subclass ?INTERSECT ?CLASS1)
        (subclass ?INTERSECT ?CLASS2)))
ComputerInput.kif 74-78

appearance as argument number 0
-------------------------


(classIntersection ComputerInputDevice Microphone ComputerMicrophone) ComputerInput.kif 570-570 classIntersection ComputerInputDevice, Microphone and ComputerMicrophone
(classIntersection ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) ComputerInput.kif 475-476 classIntersection ComputerKeyboard, TouchSensitiveComputerInputDevice and ComputerTouchscreenKeyboard
(classIntersection ComputerKeypad ComputerTouchscreen ComputerTouchscreenKeypad) ComputerInput.kif 492-492 classIntersection ComputerKeypad, ComputerTouchscreen and ComputerTouchscreenKeypad
(classIntersection ComputerMenu UIElement GraphicalComputerMenu) ComputerInput.kif 915-915 classIntersection ComputerMenu, UIElement and GraphicalComputerMenu
(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 1172-1172 classIntersection ComputerMenuItem, GUIActiveArea and GraphicalMenuItem
(classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) ComputerInput.kif 462-463 classIntersection ComputerScreen, TouchSensitiveComputerInputDevice and ComputerTouchscreen
(classIntersection HardDiskDrive ExternalDiskDrive ExternalHardDiskDrive) ComputerInput.kif 777-777 classIntersection HardDiskDrive, ExternalDiskDrive and ExternalHardDiskDrive
(classIntersection Loudspeaker ComputerOutputDevice ComputerLoudspeaker) ComputerInput.kif 546-546 classIntersection Loudspeaker, ComputerOutputDevice and ComputerLoudspeaker
(classIntersection TouchSurfaceAction SlidingComputerInputDeviceAction TouchSurfaceSlide) ComputerInput.kif 1580-1581 classIntersection TouchSurfaceAction, SlidingComputerInputDeviceAction and TouchSurfaceSlide


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