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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerTouchscreen

Sigma KEE - ComputerTouchscreen
ComputerTouchscreen

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 440-444
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 438-438 ComputerTouchscreen is a subclass of ComputerScreen
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 437-437 ComputerTouchscreen is a subclass of TouchSensitiveComputerInputDevice

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 446-446 ComputerTouchscreenKeyboard is a subclass of ComputerTouchscreen
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 466-466 ComputerTouchscreenKeypad is a subclass of ComputerTouchscreen

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1591-1596

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1584-1589
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1577-1582
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 457-462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28971-28976


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