No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 203-203 |
The number 2 argument of computer running is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3534-3534 |
The number 2 argument of connected peripheral is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3951-3951 |
The number 2 argument of device account is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1023-1023 |
The number 2 argument of hardware type is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2129-2129 |
The number 1 argument of host jitter is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 550-550 |
The number 2 argument of host of is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2111-2111 |
The number 1 argument of host status is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 762-762 |
The number 1 argument of ip address of is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1015-1015 |
The number 1 argument of number of CPUs is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 188-188 |
The number 2 argument of running on is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 339-339 |
The number 2 argument of runs on is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1034-1034 |
The number 1 argument of threshold of is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4286-4286 |
The number 2 argument of trusted device is an instance of computer |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 352-352 |
The number 2 argument of can run on is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 728-728 |
The number 2 argument of device OS is a subclass of computer |