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

Formal Language: 



KB Term:  Term intersection
English Word: 

  orderFor

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 1968-1969
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1965-1965 订购给 的 1 数量 是 金融交易instance
(domain orderFor 3 Security) FinancialOntology.kif 1967-1967 订购给 的 3 数量 是 安全instance
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1966-1966 订购给 的 2 数量 是 金融交易subclass
(instance orderFor TernaryPredicate) FinancialOntology.kif 1964-1964 订购给三元谓语instance

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 42456-42456
(termFormat ChineseTraditionalLanguage orderFor "訂購給") domainEnglishFormat.kif 42455-42455
(termFormat EnglishLanguage orderFor "order for") domainEnglishFormat.kif 42454-42454

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 2008-2029
(=>
    (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 2031-2052
(=>
    (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 1981-1990
(=>
    (and
        (instance ?Order PlacingAnOrder)
        (orderFor ?Order ?TransactionType ?Shares))
    (hasPurpose ?Order
        (exists (?Transaction)
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares)))))
FinancialOntology.kif 1971-1979


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

Show without tree


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