Broker - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Broker

Broker(broker)

agent, auctioneer, broker, factor, general_agent, insurance_agent, insurance_broker, investment_banker, stockbroker, travel_agent, underwriter

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	Broker is an instance of position

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	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=> (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	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=> (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	If market order is an attribute of a financial transaction and broker is an attribute of an agreement and the agreement is a party to agreement of the financial transaction and the financial transaction is order for another kind of financial transaction for a security, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=> (attribute ?Broker Broker) (exists (?Contract) (and (instance ?Contract ServiceContract) (partyToAgreement ?Broker ?Contract))))	FinancialOntology.kif 2072-2077	If broker is an attribute of a cognitive agent, then there exists an agreement such that the agreement is an instance of service contract and the agreement is a party to agreement of the cognitive agent

consequent

(=> (and (instance ?Loan BrokerLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker))	FinancialOntology.kif 1527-1531	If a loan is an instance of broker loan and the loan is the borrower of a cognitive agent, then broker is an attribute of the cognitive agent
(=> (and (instance ?Loan DayLoan) (borrower ?Loan ?Borrower)) (attribute ?Borrower Broker))	FinancialOntology.kif 1587-1591	If a loan is an instance of day loan and the loan is the borrower of a cognitive agent, then broker is an attribute of the cognitive agent
(=> (broker ?SALE ?AGENT) (attribute ?AGENT Broker))	UXExperimentalTerms.kif 1691-1693	If an agent brokers the sale of a financial transaction, then broker is an attribute of the agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners