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 1917-1918
(domain orderFor 1 FinancialTransaction)	FinancialOntology.kif 1914-1914	domain orderFor, 1 and FinancialTransaction
(domain orderFor 3 Security)	FinancialOntology.kif 1916-1916	domain orderFor, 3 and Security
(domainSubclass orderFor 2 FinancialTransaction)	FinancialOntology.kif 1915-1915	domainSubclass orderFor, 2 and FinancialTransaction
(instance orderFor TernaryPredicate)	FinancialOntology.kif 1913-1913	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 42433-42433
(termFormat ChineseTraditionalLanguage orderFor "訂購給")	domainEnglishFormat.kif 42432-42432
(termFormat EnglishLanguage orderFor "order for")	domainEnglishFormat.kif 42431-42431

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 1958-1979	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Buying and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfCurrency askPrice Security, MeasureFn RealNumber and UnitOfMeasure and Agent lessThanOrEqualTo RealNumber and RealNumber holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally Agent and SymbolicStringingTime and Agreement
(=> (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 1981-2002	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Selling and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure bidPrice Security, MeasureFn RealNumber and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency greaterThanOrEqualTo RealNumber and RealNumber holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally SymbolicStringingTime and Agent and Agreement
(=> (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 1930-1939	attribute FinancialTransaction and MarketOrder attribute Agreement and Broker partyToAgreement FinancialTransaction and Agreement orderFor FinancialTransaction, FinancialTransaction and Security holdsObligation KappaFn SymbolicString and instance SymbolicString and FinancialTransaction patient SymbolicString and Security and Agreement
(=> (and (instance ?Order PlacingAnOrder) (orderFor ?Order ?TransactionType ?Shares)) (hasPurpose ?Order (exists (?Transaction) (and (instance ?Transaction ?TransactionType) (patient ?Transaction ?Shares)))))	FinancialOntology.kif 1920-1928	instance FinancialTransaction and PlacingAnOrder orderFor FinancialTransaction, FinancialTransaction and Security hasPurpose FinancialTransaction and entity instance entity and FinancialTransaction patient entity and Security

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