WeekFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance WeekFn TemporalRelation)	Merge.kif 9149-9149	Week fn is an instance of temporal relation
(instance WeekFn BinaryFunction)	Merge.kif 9150-9150	Week fn is an instance of binary function
(instance WeekFn PartialValuedRelation)	Merge.kif 9151-9151	Week fn is an instance of partial valued relation
(domain WeekFn 1 PositiveInteger)	Merge.kif 9152-9152	The number 1 argument of week fn is an instance of positive integer
(domainSubclass WeekFn 2 Year)	Merge.kif 9153-9153	The number 2 argument of week fn is a subclass of year
(rangeSubclass WeekFn Week)	Merge.kif 9154-9154	The values returned by week fn are subclasses of week
(documentation WeekFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Week within each Year corresponding to that PositiveRealNumber. For example, (WeekFn 4 (YearFn 1999)) is the singular Class of all fourth Weeks of the Year 1999.")	Merge.kif 9156-9159	The values returned by week fn are subclasses of week

appearance as argument number 2

(format EnglishLanguage WeekFn "the week # %1")	domainEnglishFormat.kif 4988-4988
(format ChineseTraditionalLanguage WeekFn "week # %1 ")	domainEnglishFormat.kif 4989-4989
(format ChineseLanguage WeekFn "week # %1 ")	domainEnglishFormat.kif 4990-4990
(termFormat EnglishLanguage WeekFn "week fn")	domainEnglishFormat.kif 65731-65731

antecedent

(=>
    (and
        (instance ?W
            (WeekFn ?N ?Y))
        (instance ?YI ?Y))
    (during ?W ?YI))

If X is an instance of the week # Y and Z is an instance of W, then X takes place during Z