TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WeekBeforeFn EnglishLanguage "A Function that returns the week immediately preceding the beginning of the given TimePosition.")	Mid-level-ontology.kif 14817-14818
(domain WeekBeforeFn 1 TimePosition)	Mid-level-ontology.kif 14815-14815	WeekBeforeFn 的 1 数量是时间位置的 instance
(instance WeekBeforeFn UnaryFunction)	Mid-level-ontology.kif 14814-14814	WeekBeforeFn 是一元函数的 instance
(range WeekBeforeFn Week)	Mid-level-ontology.kif 14816-14816	WeekBeforeFn 的 range 是星期的实例

appearance as argument number 2

(termFormat EnglishLanguage WeekBeforeFn "week before fn")

domainEnglishFormat.kif 65727-65727

antecedent

(=>
    (and
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (temporalPart ?D1
            (WeekBeforeFn ?D2))
        (temporalPart ?D2
            (WeekAfterFn ?D1)))
    (exists (?N1)
        (and
            (instance ?D1
                (DayFn ?N1
                    (MonthFn ?M
                        (YearFn ?Y))))
            (equal ?N1
                (SubtractionFn ?N2 7)))))

Mid-level-ontology.kif 14836-14845

如果时间位置是正整数 day 的 instance 和另一个时间位置时段是 WeekBeforeFn 那个时间位置时段的一 part 和那个时间位置时段是 WeekAfterFn 那个另外时间位置时段的一 part，
然后有存在另一个正整数这样那个另外时间位置是那个另外正整数 day 的 instance 和那个另外正整数 equal (那个正整数和 7)

consequent

(=>
    (equal ?WKBMC
        (WeekBeforeMenstruationFn ?W))
    (equal ?WKBC
        (KappaFn ?C
            (and
                (instance ?C Week)
                (exists (?M)
                    (and
                        (instance ?M Menstruation)
                        (experiencer ?M ?W)
                        (equal ?C
                            (WeekBeforeFn
                                (WhenFn ?M)))))))))

Medicine.kif 1521-1534

如果实体 equal WeekBeforeMenstruationFn 另一个实体，
然后那个另外实体KBC equal 符号串所描述的类别

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: