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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerTouchscreen

Sigma KEE - ComputerTouchscreen
ComputerTouchscreen(computer touchscreen)

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 Computer touchscreen is a subclass of computer screen
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

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 446-446 Computer touchscreen keyboard is a subclass of computer touchscreen
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 466-466 Computer touchscreen keypad is a subclass of computer touchscreen
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64685-64685

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1594-1599

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


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 1580-1585
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 29563-29568


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