No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4164-4164 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4161-4161 |
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 4162-4162 |
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 4160-4160 |
account used is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4163-4163 |
account used is a subrelation of patient |