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 1903-1904
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1900-1900 domain orderFor, 1 and FinancialTransaction
(domain orderFor 3 Security) FinancialOntology.kif 1902-1902 domain orderFor, 3 and Security
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1901-1901 domainSubclass orderFor, 2 and FinancialTransaction
(instance orderFor TernaryPredicate) FinancialOntology.kif 1899-1899 instance orderFor and TernaryPredicate

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


(format ChineseLanguage orderFor "%1 %n 是 對於 %3 的 order %2 ") domainEnglishFormat.kif 1855-1855
(format ChineseTraditionalLanguage orderFor "%1 %n 是 對於 %3 的 order %2 ") domainEnglishFormat.kif 1854-1854
(format EnglishLanguage orderFor "%1 is %n order for %2 for %3") domainEnglishFormat.kif 1853-1853
(termFormat ChineseLanguage orderFor "订购给") domainEnglishFormat.kif 42367-42367 termFormat ChineseLanguage, orderFor and "订购给"
(termFormat ChineseTraditionalLanguage orderFor "訂購給") domainEnglishFormat.kif 42366-42366 termFormat ChineseTraditionalLanguage, orderFor and "訂購給"
(termFormat EnglishLanguage orderFor "order for") domainEnglishFormat.kif 42365-42365 termFormat EnglishLanguage, orderFor and "order for"

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 1944-1962
(=>
    (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 1964-1982
(=>
    (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 1916-1925
(=>
    (and
        (instance ?Order PlacingAnOrder)
        (orderFor ?Order ?TransactionType ?Shares))
    (hasPurpose ?Order
        (exists (?Transaction)
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares)))))
FinancialOntology.kif 1906-1914


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