循环断言失败

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.