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 1987-1988
(instance Broker Position) FinancialOntology.kif 1986-1986 Broker is an instance of position

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Broker "broker") domainEnglishFormat.kif 2436-2436 "broker" is the printable form of broker in english language

antecedent
-------------------------


(=>
    (and
        (instance ?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 1946-1964
(=>
    (and
        (instance ?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 1966-1984
(=>
    (and
        (instance ?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 1918-1927
(=>
    (attribute ?Broker Broker)
    (exists (?Contract)
        (and
            (instance ?Contract ServiceContract)
            (partyToAgreement ?Contract ?Broker))))
FinancialOntology.kif 1990-1995

consequent
-------------------------


(=>
    (and
        (instance ?Loan BrokerLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))
FinancialOntology.kif 1456-1460
(=>
    (and
        (instance ?Loan DayLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))
FinancialOntology.kif 1517-1521
(=>
    (broker ?SALE ?AGENT)
    (attribute ?AGENT Broker))
UXExperimentalTerms.kif 1896-1898


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners