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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerInputDevice
ComputerInputDevice

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 468-469
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 467-467 ComputerInputDevice e' uma sub-classe de ComputerHardware

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 119-119 ComputerIODevice e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 170-170 ComputerInputButton e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 471-471 ComputerKeyboard e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 164-164 ComputerKeyboard_Generic e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 541-541 ComputerMicrophone e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 383-383 ComputerMouse e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1708-1708 DataSink e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 599-599 Joystick e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 403-403 ScrollWheel e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 482-482 TouchScreen e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 413-413 TouchSensitiveComputerInputDevice e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 606-606 Trackball e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16314-16314
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16313-16313
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16312-16312

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 504-504 O argumento numero 2 de standardInputDevice e' uma instancia de ComputerInputDevice

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3552-3557
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 224-237
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 204-213