No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4554-4559 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4550-4550 |
Le nombre 1 argument de securityQA est une instance de Question |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4551-4551 |
Le nombre 2 argument de securityQA est une instance de phrase |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4552-4552 |
Le nombre 3 argument de securityQA est une instance de Account |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4549-4549 |
securityQA est une instance de relation ternaire |