TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WeekAfterFn EnglishLanguage "A Function that returns the week immediately after the beginning of the given TimePosition.")	Mid-level-ontology.kif 14838-14839
(domain WeekAfterFn 1 TimePosition)	Mid-level-ontology.kif 14836-14836
(instance WeekAfterFn UnaryFunction)	Mid-level-ontology.kif 14835-14835
(range WeekAfterFn Week)	Mid-level-ontology.kif 14837-14837

appearance as argument number 2

(termFormat EnglishLanguage WeekAfterFn "week after fn")

domainEnglishFormat.kif 65728-65728

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 14864-14873

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

KB Term:			Term intersection

English Word: