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

Formal Language: 



KB Term:  Term intersection
English Word: 

  classIntersection

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

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 The intersection of computer input device and microphone is ComputerMicrophone
(classIntersection ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) ComputerInput.kif 475-476 The intersection of ComputerKeyboard and TouchSensitiveComputerInputDevice is ComputerTouchscreenKeyboard
(classIntersection ComputerKeypad ComputerTouchscreen ComputerTouchscreenKeypad) ComputerInput.kif 492-492 The intersection of ComputerKeypad and ComputerTouchscreen is ComputerTouchscreenKeypad
(classIntersection ComputerMenu UIElement GraphicalComputerMenu) ComputerInput.kif 915-915 The intersection of ComputerMenu and UIElement is GraphicalComputerMenu
(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 1172-1172 The intersection of ComputerMenuItem and GUIActiveArea is GraphicalMenuItem
(classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) ComputerInput.kif 462-463 The intersection of ComputerScreen and TouchSensitiveComputerInputDevice is ComputerTouchscreen
(classIntersection HardDiskDrive ExternalDiskDrive ExternalHardDiskDrive) ComputerInput.kif 777-777 The intersection of hard disk drive and ExternalDiskDrive is ExternalHardDiskDrive
(classIntersection Loudspeaker ComputerOutputDevice ComputerLoudspeaker) ComputerInput.kif 546-546 The intersection of Loudspeaker and computer output device is ComputerLoudspeaker
(classIntersection TouchSurfaceAction SlidingComputerInputDeviceAction TouchSurfaceSlide) ComputerInput.kif 1580-1581 The intersection of TouchSurfaceAction and SlidingComputerInputDeviceAction is TouchSurfaceSlide


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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