No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 204-204 |
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 3529-3529 |
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 3946-3946 |
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 1132-1132 |
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 2261-2261 |
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 658-658 |
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 2243-2243 |
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 871-871 |
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 1124-1124 |
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 189-189 |
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 340-340 |
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 1143-1143 |
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 4281-4281 |
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 353-353 |
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 |