Cyc утверждение не удалось

Question

Я пытаюсь познакомиться с opencyc, делая некоторые простые утверждения через браузер opencyc, но когда я пытаюсь объявить утверждение в интервале измерения времени, например (TimeIntervalInclusiveFn (DayFn 23 (MonthFn November (YearFn 2011))) Now)))Я получил ошибку относительно DayFn Первый аргумент. Вы можете объяснить, почему? Заранее спасибо.

Например:

(FI-ASSERT '(isa JoshMcCown-FootballPlayer Musician) '(MtSpace PeopleDataMt (MtTimeDimFn (TimeIntervalInclusiveFn (DayFn 23 (MonthFn November (YearFn 2011))) Now))) ':DEFAULT)
    Microtheory (MtSpace PeopleDataMt (MtTimeDimFn (TimeIntervalInclusiveFn (DayFn 23 (MonthFn November (YearFn 2011))) Now)))
      was not well formed because: 
    "Term 23 violates defns of arg-isa #<(IntegerFromToFn 1 31)>
    applicable to argument 1 of relation DayFn
    in mt UniversalVocabularyMt.
    Term 23
    violates defnIff CYC-INTEGER-RANGE
    of collection #<(IntegerFromToFn 1 31)>
    applicable to arg 1 of DayFn
    in mt UniversalVocabularyMt.