MillenniumDuration - Sigma Knowledge base Browser

appearance as argument number 1

(instance MillenniumDuration UnitOfDuration)	Mid-level-ontology.kif 15275-15275	Millennium is an instance of unit of duration
(documentation MillenniumDuration EnglishLanguage "The UnitOfDuration of 1000 years.")	Mid-level-ontology.kif 15276-15276	Millennium is an instance of unit of duration

appearance as argument number 2

(termFormat EnglishLanguage MillenniumDuration "millennium")

consequent

(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))

If equal X, 1, and X, then equal X millennium(s) and X and 1000 year duration(s)