| MillenniumDuration | | millenary, millennium |
| appearance as argument number 1 |
|
|
| (documentation MillenniumDuration EnglishLanguage "The UnitOfDuration of 1000 years.") | Mid-level-ontology.kif 15042-15042 | |
| (instance MillenniumDuration UnitOfDuration) | Mid-level-ontology.kif 15041-15041 | MillenniumDuration is an instance of UnitOfDuration |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MillenniumDuration "millennium duration") | domainEnglishFormat.kif 65164-65164 |
| consequent |
|
|
| (=> (equal ?N (MultiplicationFn 1 ?N)) (equal (MeasureFn ?N MillenniumDuration) (MeasureFn (MultiplicationFn ?N 1000) YearDuration))) |
Mid-level-ontology.kif 15044-15048 |
|
|
|
|