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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TouchSensitiveComputerInputDevice
TouchSensitiveComputerInputDevice

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 424-424 不相交的 TouchSensitiveComputerInputDevice and ComputerKeyboard
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 423-423 不相交的 TouchSensitiveComputerInputDevice and ComputerMouse
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 425-425 不相交的 TouchSensitiveComputerInputDevice and ScrollWheel
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 子類 TouchSensitiveComputerInputDevice and 電腦輸入設備

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 427-427 子類 ComputerTouchpad and TouchSensitiveComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 437-437 子類 ComputerTouchscreen and TouchSensitiveComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 450-450 子類 ComputerTouchscreenKeyboard and TouchSensitiveComputerInputDevice
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 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 3.0 is open source software produced by Articulate Software and its partners