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
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 70-70
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 67-67 The number 1 argument of classIntersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 68-68 The number 2 argument of classIntersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 69-69 The number 3 argument of classIntersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 66-66 classIntersection is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 757-757

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 81-86
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 73-77

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 474-474 The intersection of computer input device and microphone is ComputerMicrophone
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 406-407 The intersection of ComputerKeyboard and TouchSensitiveComputerInputDevice is ComputerTouchscreenKeyboard
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 419-419 The intersection of ComputerKeypad and ComputerTouchscreen is ComputerTouchscreenKeypad
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 737-737 The intersection of ComputerMenu and UIElement is GraphicalComputerMenu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 915-915 The intersection of ComputerMenuItem and GUIActiveArea is GraphicalMenuItem
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 398-399 The intersection of ComputerScreen and TouchSensitiveComputerInputDevice is ComputerTouchscreen
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 624-624 The intersection of hard disk drive and ExternalDiskDrive is ExternalHardDiskDrive
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 459-459 The intersection of Loudspeaker and computer output device is ComputerLoudspeaker
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1232-1233 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