orderFor - Sigma Knowledge base Browser

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 1982-1983
(domain orderFor 1 FinancialTransaction)	FinancialOntology.kif 1979-1979	The number 1 argument of order for is an instance of financial transaction
(domain orderFor 3 Security)	FinancialOntology.kif 1981-1981	The number 3 argument of order for is an instance of security
(domainSubclass orderFor 2 FinancialTransaction)	FinancialOntology.kif 1980-1980	The number 2 argument of order for is a subclass of financial transaction
(instance orderFor TernaryPredicate)	FinancialOntology.kif 1978-1978	order for is an instance of ternary predicate

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 42487-42487
(termFormat ChineseTraditionalLanguage orderFor "訂購給")	domainEnglishFormat.kif 42486-42486
(termFormat EnglishLanguage orderFor "order for")	domainEnglishFormat.kif 42485-42485

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
(=> (and (instance ?Order PlacingAnOrder) (orderFor ?Order ?TransactionType ?Shares)) (hasPurpose ?Order (exists (?Transaction) (and (instance ?Transaction ?TransactionType) (patient ?Transaction ?Shares)))))	FinancialOntology.kif 1985-1993	If a financial transaction is an instance of placing an order and the financial transaction is order for another kind of financial transaction for a security, then the financial transaction has the purpose there exists an entity such that the entity is an instance of another kind of financial transaction and the security is a patient of the entity

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