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 |
域 securityQA, 1 and 題 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4551-4551 |
域 securityQA, 2 and Sentence |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4552-4552 |
域 securityQA, 3 and Account |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4549-4549 |
例 securityQA and TernaryRelation |