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 and Artifact |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3926-3926 |
域 thirdPartyProduct, 2 and Organization |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3927-3927 |
域 thirdPartyProduct, 3 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3920-3920 |
例 thirdPartyProduct and TernaryPredicate |