Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - orderFor
orderFor

appearance as argument number 1
-------------------------


(documentation orderFor EnglishLanguage "(orderFor ?Order ?Transaction ?Security) means that the content of ?Order is to realize an instance of ?Transaction where ?Security is the patient of ?Transaction.") FinancialOntology.kif 1985-1986
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1982-1982 orderFor の数値 1 引数は 金融取引instance では
(domain orderFor 3 Security) FinancialOntology.kif 1984-1984 orderFor の数値 3 引数は Securityinstance では
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1983-1983 orderFor の数値 2 引数は 金融取引subclass では
(instance orderFor TernaryPredicate) FinancialOntology.kif 1981-1981 orderFor3進述語instance では

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


(format ChineseLanguage orderFor "%1 %n 是 對於 %3 的 order %2 ") domainEnglishFormat.kif 1859-1859
(format ChineseTraditionalLanguage orderFor "%1 %n 是 對於 %3 的 order %2 ") domainEnglishFormat.kif 1858-1858
(format EnglishLanguage orderFor "%1 is %n order for %2 for %3") domainEnglishFormat.kif 1857-1857
(termFormat ChineseLanguage orderFor "订购给") domainEnglishFormat.kif 42458-42458
(termFormat ChineseTraditionalLanguage orderFor "訂購給") domainEnglishFormat.kif 42457-42457
(termFormat EnglishLanguage orderFor "order for") domainEnglishFormat.kif 42456-42456

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 2025-2046
(=>
    (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 2048-2069
(=>
    (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 1998-2007
(=>
    (and
        (instance ?Order PlacingAnOrder)
        (orderFor ?Order ?TransactionType ?Shares))
    (hasPurpose ?Order
        (exists (?Transaction)
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares)))))
FinancialOntology.kif 1988-1996


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