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

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


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

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 ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) ComputerInput.kif 475-476
(classIntersection ComputerKeypad ComputerTouchscreen ComputerTouchscreenKeypad) ComputerInput.kif 492-492
(classIntersection ComputerMenu UIElement GraphicalComputerMenu) ComputerInput.kif 915-915
(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 1172-1172
(classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) ComputerInput.kif 462-463
(classIntersection HardDiskDrive ExternalDiskDrive ExternalHardDiskDrive) ComputerInput.kif 777-777
(classIntersection Loudspeaker ComputerOutputDevice ComputerLoudspeaker) ComputerInput.kif 546-546
(classIntersection TouchSurfaceAction SlidingComputerInputDeviceAction TouchSurfaceSlide) ComputerInput.kif 1580-1581


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