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 70-70
(domain classIntersection 1 SetOrClass) ComputerInput.kif 67-67 The number 1 argument of classIntersection is an instance of set or class
(domain classIntersection 2 SetOrClass) ComputerInput.kif 68-68 The number 2 argument of classIntersection is an instance of set or class
(domain classIntersection 3 SetOrClass) ComputerInput.kif 69-69 The number 3 argument of classIntersection is an instance of set or class
(instance classIntersection TernaryPredicate) ComputerInput.kif 66-66 classIntersection is an instance of ternary predicate

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


(format EnglishLanguage classIntersection "the intersection of %1 and %2 is %3") domainEnglishFormat.kif 757-757

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


(=>
    (and
        (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT)
        (instance ?ITEM ?CLASS1)
        (instance ?ITEM ?CLASS2))
    (instance ?ITEM ?INTERSECT))
ComputerInput.kif 81-86
(=>
    (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT)
    (and
        (subclass ?INTERSECT ?CLASS1)
        (subclass ?INTERSECT ?CLASS2)))
ComputerInput.kif 73-77

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


(classIntersection ComputerInputDevice Microphone ComputerMicrophone) ComputerInput.kif 439-439 The intersection of computer input device and microphone is ComputerMicrophone
(classIntersection ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) ComputerInput.kif 371-372 The intersection of ComputerKeyboard and TouchSensitiveComputerInputDevice is ComputerTouchscreenKeyboard
(classIntersection ComputerKeypad ComputerTouchscreen ComputerTouchscreenKeypad) ComputerInput.kif 384-384 The intersection of ComputerKeypad and ComputerTouchscreen is ComputerTouchscreenKeypad
(classIntersection ComputerMenu UIElement GraphicalComputerMenu) ComputerInput.kif 702-702 The intersection of ComputerMenu and UIElement is GraphicalComputerMenu
(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 880-880 The intersection of ComputerMenuItem and GUIActiveArea is GraphicalMenuItem
(classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) ComputerInput.kif 363-364 The intersection of ComputerScreen and TouchSensitiveComputerInputDevice is ComputerTouchscreen
(classIntersection HardDiskDrive ExternalDiskDrive ExternalHardDiskDrive) ComputerInput.kif 589-589 The intersection of hard disk drive and ExternalDiskDrive is ExternalHardDiskDrive
(classIntersection Loudspeaker ComputerOutputDevice ComputerLoudspeaker) ComputerInput.kif 424-424 The intersection of Loudspeaker and computer output device is ComputerLoudspeaker
(classIntersection TouchSurfaceAction SlidingComputerInputDeviceAction TouchSurfaceSlide) ComputerInput.kif 1197-1198 The intersection of TouchSurfaceAction and SlidingComputerInputDeviceAction is 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