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
(domain classIntersection 2 SetOrClass) ComputerInput.kif 68-68
(domain classIntersection 3 SetOrClass) ComputerInput.kif 69-69
(instance classIntersection TernaryPredicate) ComputerInput.kif 66-66

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
(classIntersection ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) ComputerInput.kif 371-372
(classIntersection ComputerKeypad ComputerTouchscreen ComputerTouchscreenKeypad) ComputerInput.kif 384-384
(classIntersection ComputerMenu UIElement GraphicalComputerMenu) ComputerInput.kif 702-702
(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 880-880
(classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) ComputerInput.kif 363-364
(classIntersection HardDiskDrive ExternalDiskDrive ExternalHardDiskDrive) ComputerInput.kif 589-589
(classIntersection Loudspeaker ComputerOutputDevice ComputerLoudspeaker) ComputerInput.kif 424-424
(classIntersection TouchSurfaceAction SlidingComputerInputDeviceAction TouchSurfaceSlide) ComputerInput.kif 1197-1198


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