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 |
Le nombre 1 argument de accountUsed est une instance de ComputerProcess |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4162-4162 |
Le nombre 2 argument de accountUsed est une instance de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4160-4160 |
accountUsed est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4163-4163 |
accountUsed est une sous-relation de patient |