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 16173-16174
(domain WeekAfterFn 1 TimePosition)	Mid-level-ontology.kif 16171-16171	The number 1 argument of week after fn is an instance of time position
(instance WeekAfterFn UnaryFunction)	Mid-level-ontology.kif 16170-16170	Week after fn is an instance of unary function
(range WeekAfterFn Week)	Mid-level-ontology.kif 16172-16172	The range of week after fn is an instance of week

appearance as argument number 2

(termFormat EnglishLanguage WeekAfterFn "week after fn")

domainEnglishFormat.kif 65719-65719

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 16199-16208

If a time position is an instance of the day a positive integer of month the month a kind of month 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 of month the month a kind of month and equal the other positive integer and (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: