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 15029-15030
(domain WeekAfterFn 1 TimePosition)	Mid-level-ontology.kif 15027-15027	The number 1 argument of week after fn is an instance of time position
(instance WeekAfterFn UnaryFunction)	Mid-level-ontology.kif 15026-15026	Week after fn is an instance of unary function
(range WeekAfterFn Week)	Mid-level-ontology.kif 15028-15028	The range of week after fn is an instance of week

appearance as argument number 2

(termFormat EnglishLanguage WeekAfterFn "week after fn")

domainEnglishFormat.kif 65751-65751

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 15055-15064

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: