MillenniumDuration(millennium duration) | millenary, millennium |
appearance as argument number 1 |
(documentation MillenniumDuration EnglishLanguage "The UnitOfDuration of 1000 years.") | Mid-level-ontology.kif 13681-13681 | |
(instance MillenniumDuration UnitOfDuration) | Mid-level-ontology.kif 13680-13680 | Millennium duration is an instance of unit of duration |
appearance as argument number 2 |
(termFormat EnglishLanguage MillenniumDuration "millennium duration") | domainEnglishFormat.kif 65171-65171 |
consequent |
(=> (equal ?N (MultiplicationFn 1 ?N)) (equal (MeasureFn ?N MillenniumDuration) (MeasureFn (MultiplicationFn ?N 1000) YearDuration))) |
Mid-level-ontology.kif 13683-13687 |
|