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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TouchSensitiveComputerInputDevice

Sigma KEE - TouchSensitiveComputerInputDevice
TouchSensitiveComputerInputDevice(touch sensitive computer input device)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 424-424 Touch sensitive computer input device is disjoint from computer keyboard
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 423-423 Touch sensitive computer input device is disjoint from computer mouse
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 425-425 Touch sensitive computer input device is disjoint from scroll wheel
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 415-421
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 413-413 Touch sensitive computer input device is a subclass of computer input device

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 427-427 Computer touchpad is a subclass of touch sensitive computer input device
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 437-437 Computer touchscreen is a subclass of touch sensitive computer input device
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 450-450 Computer touchscreen keyboard is a subclass of touch sensitive computer input device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65611-65611

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1587-1592
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1545-1550

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1538-1543


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