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 |
The number 1 argument of security QA is an instance of question |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4551-4551 |
The number 2 argument of security QA is an instance of sentence |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4552-4552 |
The number 3 argument of security QA is an instance of account |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4549-4549 |
security QA is an instance of ternary relation |