No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3921-3923 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3925-3925 |
thirdPartyProduct 的 1 数量 是 人工制品 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3926-3926 |
thirdPartyProduct 的 2 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3927-3927 |
thirdPartyProduct 的 3 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3920-3920 |
thirdPartyProduct 是 三元谓语 的 instance |