No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4159-4159 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4156-4156 |
The number 1 argument of account used is an instance of computer process |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4157-4157 |
The number 2 argument of account used is an instance of user account |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4155-4155 |
account used is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4158-4158 |
account used is a subrelation of patient |