Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| broker |
| appearance as argument number 1 |
|
| (instance broker CaseRole) | UXExperimentalTerms.kif 1681-1681 | broker is an instance of case role |
| (domain broker 1 FinancialTransaction) | UXExperimentalTerms.kif 1686-1686 | The number 1 argument of broker is an instance of financial transaction |
| (domain broker 2 AutonomousAgent) | UXExperimentalTerms.kif 1687-1687 | The number 2 argument of broker is an instance of agent |
| (documentation broker EnglishLanguage "This CaseRole relates an instance of a FinancialTransaction to the Broker of the sale.") | UXExperimentalTerms.kif 1689-1690 | The number 2 argument of broker is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage broker "broker") | UXExperimentalTerms.kif 1683-1683 | |
| (format EnglishLanguage broker "%2 brokers the sale of %1") | UXExperimentalTerms.kif 1684-1684 | |
| (subrelation eCommerceSite broker) | UXExperimentalTerms.kif 1712-1712 | e_commerce site is a subrelation of broker |
| antecedent |
|
|
| (=> (broker ?SALE ?AGENT) (attribute ?AGENT Broker)) |
UXExperimentalTerms.kif 1692-1694 | If X brokers the sale of Y, then broker is an attribute of X |
|