WeekAfterFn - Sigma 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	The number 1 argument of week after fn is an instance of time position
(instance WeekAfterFn UnaryFunction)	Mid-level-ontology.kif 14835-14835	Week after fn is an instance of unary function
(range WeekAfterFn Week)	Mid-level-ontology.kif 14837-14837	The range of week after fn is an instance of week

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

If a time position is an instance of the day a positive integer and another time position is a part of week before fn the time position and the time position is a part of week after fn 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: