No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 472-473 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 371-374 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29548-29548 |
ComputerKeyboard 的例子总是 Laptop 的 initially part 的例子 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 475-475 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 375-375 |
每个 ComputerKeyboard 是 ComputerKeyboardKey 的 part |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 471-471 |
ComputerKeyboard 是 电脑输入设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 369-369 |
ComputerKeyboard 是 ComputerKeyboard_Generic 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 370-370 |
ComputerKeyboard 是 Keyboard 的 subclass |