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 数量 是 题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4551-4551 |
securityQA 的 2 数量 是 句子 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4552-4552 |
securityQA 的 3 数量 是 Account 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4549-4549 |
securityQA 是 三元关系 的 instance |