| Broker | |
| appearance as argument number 1 |
|
|
| (documentation Broker EnglishLanguage "An individual or firm which acts as an intermediary between a buyer and seller, usually charging a commisssion.") | FinancialOntology.kif 1986-1987 | |
| (instance Broker Position) | FinancialOntology.kif 1985-1985 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Broker "经纪人") | domainEnglishFormat.kif 12013-12013 | |
| (termFormat ChineseTraditionalLanguage Broker "經紀人") | domainEnglishFormat.kif 12012-12012 | |
| (termFormat EnglishLanguage Broker "broker") | domainEnglishFormat.kif 12011-12011 |
| antecedent |
|
|
| (=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (askPrice ?Object ?Price ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker)) |
FinancialOntology.kif 1945-1963 | |
| (=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (bidPrice ?Object ?Price ?Time) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker)) |
FinancialOntology.kif 1965-1983 | |
| (=> (and (attribute ?Order MarketOrder) (attribute ?Broker Broker) (partyToAgreement ?Order ?Broker) (orderFor ?Order ?TransactionType ?Shares)) (holdsObligation (KappaFn ?Transaction (and (instance ?Transaction ?TransactionType) (patient ?Transaction ?Shares))) ?Broker)) |
FinancialOntology.kif 1917-1926 | |
| (=> (attribute ?Broker Broker) (exists (?Contract) (and (instance ?Contract ServiceContract) (partyToAgreement ?Contract ?Broker)))) |
FinancialOntology.kif 1989-1994 |
| consequent |
|
|
| (=> (and (instance ?Loan BrokerLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1454-1458 | |
| (=> (and (instance ?Loan DayLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1515-1519 | |
| (=> (broker ?SALE ?AGENT) (attribute ?AGENT Broker)) |
UXExperimentalTerms.kif 1894-1896 |
|
|
|