No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 430-432 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 426-426 |
域 webStoreAdvertisement, 1 and Advertising |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 427-427 |
域 webStoreAdvertisement, 2 and WebStore |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 425-425 |
例 webStoreAdvertisement and BinaryPredicate |