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 15739-15740
(domain WeekAfterFn 1 TimePosition)	Mid-level-ontology.kif 15737-15737	The number 1 argument of week after fn is an instance of time position
(instance WeekAfterFn UnaryFunction)	Mid-level-ontology.kif 15736-15736	Week after fn is an instance of unary function
(range WeekAfterFn Week)	Mid-level-ontology.kif 15738-15738	The range of week after fn is an instance of week

appearance as argument number 2

(termFormat EnglishLanguage WeekAfterFn "week after fn")

domainEnglishFormat.kif 65749-65749

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 15765-15774

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: