| 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 2069-2070 | |
| (instance Broker Position) | FinancialOntology.kif 2068-2068 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Broker "经纪人") | domainEnglishFormat.kif 12086-12086 | |
| (termFormat ChineseTraditionalLanguage Broker "經紀人") | domainEnglishFormat.kif 12085-12085 | |
| (termFormat EnglishLanguage Broker "broker") | domainEnglishFormat.kif 12084-12084 |
| antecedent |
|
|
| (=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (instance ?U UnitOfCurrency) (askPrice ?Object (MeasureFn ?Price ?U) ?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 2022-2043 | |
| (=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (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 2045-2066 | |
| (=> (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 1995-2004 | |
| (=> (attribute ?Broker Broker) (exists (?Contract) (and (instance ?Contract ServiceContract) (partyToAgreement ?Broker ?Contract)))) |
FinancialOntology.kif 2072-2077 |
| consequent |
|
|
| (=> (and (instance ?Loan BrokerLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1527-1531 | |
| (=> (and (instance ?Loan DayLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker)) |
FinancialOntology.kif 1587-1591 | |
| (=> (broker ?SALE ?AGENT) (attribute ?AGENT Broker)) |
UXExperimentalTerms.kif 1691-1693 |
|
|
|