(documentation limitPrice EnglishLanguage "(limitPrice ?Order ?Money) means that ?Money is the limit price for the limit order ?Order. If ?Order is a buy order, then ?Money specifies the maximum price to be paid. If ?Order is a sell order, then ?Money specifies the minimum price to be paid.") 
FinancialOntology.kif 19371939 

(domain limitPrice 1 LimitOrder) 
FinancialOntology.kif 19351935 
The number 1 argument of limit price is an instance of limit order 
(domain limitPrice 2 CurrencyMeasure) 
FinancialOntology.kif 19361936 
The number 2 argument of limit price is an instance of currency measure 
(instance limitPrice AsymmetricRelation) 
FinancialOntology.kif 19341934 
limit price is an instance of asymmetric relation 
(instance limitPrice BinaryPredicate) 
FinancialOntology.kif 19331933 
limit price is an instance of binary predicate 