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 14282-14283
(domain WeekBeforeFn 1 TimePosition)	Mid-level-ontology.kif 14280-14280	The number 1 argument of WeekBeforeFn is an instance of time position
(instance WeekBeforeFn UnaryFunction)	Mid-level-ontology.kif 14279-14279	WeekBeforeFn is an instance of unary function
(range WeekBeforeFn Week)	Mid-level-ontology.kif 14281-14281	The range of WeekBeforeFn is an instance of 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 14301-14310

If a time position is an instance of the day a positive integer and another time position is a part of WeekBeforeFn the time position and the time position is a part of WeekAfterFn the other time position,
then there exists another positive integer such that the other time position is an instance of the day the other positive integer and the other positive integer is equal to (the positive integer and 7)

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

KB Term:			Term intersection

English Word: