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 14279-14280
(domain WeekAfterFn 1 TimePosition)	Mid-level-ontology.kif 14277-14277	domain WeekAfterFn, 1 and TimePosition
(instance WeekAfterFn UnaryFunction)	Mid-level-ontology.kif 14276-14276	instance WeekAfterFn and UnaryFunction
(range WeekAfterFn Week)	Mid-level-ontology.kif 14278-14278	range WeekAfterFn and Week

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 14305-14314

instance TimePosition and DayFn PositiveInteger and MonthFn Month and YearFn Integer temporalPart TimePosition and WeekBeforeFn TimePosition temporalPart TimePosition and WeekAfterFn TimePosition
PositiveInteger instance TimePosition and DayFn PositiveInteger and MonthFn Month and YearFn Integer equal PositiveInteger and SubtractionFn PositiveInteger and 7

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

KB Term:			Term intersection

English Word: