(=>
(and
(instance ?TRANS FinancialTransaction)
(attribute ?TRANS BusinessToConsumer))
(exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(and
(instance ?ACCT1 UserAccount)
(instance ?ACCT2 UserAccount)
(instance ?USER1 Agent)
(instance ?USER2 Agent)
(instance ?SITE WebSite)
(agent ?TRANS ?USER1)
(destination ?TRANS ?USER2)
(instrument ?TRANS ?SITE)
(hasAccount ?USER1 ?ACCT1)
(hasAccount ?USER2 ?ACCT2)
(accountAtSite ?ACCT1 ?SITE)
(accountAtSite ?ACCT2 ?SITE)
(attribute ?ACCOUNT1 BusinessAccount)
(attribute ?ACCOUNT2 ConsumerAccount)))) |
UXExperimentalTerms.kif 1967-1986 |
|