TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DayOrder FinancialOrder)	FinancialOntology.kif 2954-2954	Day order is a subclass of financial order
(documentation DayOrder EnglishLanguage "A type of option order which instructs the Broker to cancel any unfilled portion of the order at the close of trading on the day the order is first entered.")	FinancialOntology.kif 2955-2957	Day order is a subclass of financial order

appearance as argument number 2

(termFormat EnglishLanguage DayOrder "day order")	domainEnglishFormat.kif 18684-18684
(termFormat ChineseTraditionalLanguage DayOrder "一天的訂單")	domainEnglishFormat.kif 18685-18685
(termFormat ChineseLanguage DayOrder "一天的订单")	domainEnglishFormat.kif 18686-18686

antecedent

(=>
    (instance ?Order DayOrder)
    (and
        (agreementPeriod ?Order ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))

If X is an instance of day order, then Y is an agreement period of X and duration of Y is 1 day duration(s)

consequent

(=> (instance ?Order AONOrder) (or (instance ?Order DayOrder) (instance ?Order GTCOrder)))	FinancialOntology.kif 2923-2927	If X is an instance of AON order, then X is an instance of day order or X is an instance of GTC order
(=> (instance ?Order MOCOrder) (instance ?Order DayOrder))	FinancialOntology.kif 2976-2978	If X is an instance of MOC order, then X is an instance of day order
(=> (instance ?Order OCOOrder) (or (instance ?Order DayOrder) (instance ?Order GTCOrder)))	FinancialOntology.kif 2996-3000	If X is an instance of OCO order, then X is an instance of day order or X is an instance of GTC order