Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WeekFn

Sigma KEE - WeekFn
WeekFn

appearance as argument number 1
-------------------------


(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 8986-8989
(domain WeekFn 1 PositiveInteger) Merge.kif 8983-8983 WeekFn 的 1 数量 是 正整数instance
(domainSubclass WeekFn 2 Year) Merge.kif 8984-8984 WeekFn 的 2 数量 是 subclass
(instance WeekFn BinaryFunction) Merge.kif 8981-8981 WeekFn二元函数instance
(instance WeekFn PartialValuedRelation) Merge.kif 8982-8982 WeekFn部分值关系instance
(instance WeekFn TemporalRelation) Merge.kif 8980-8980 WeekFn时间关系instance
(rangeSubclass WeekFn Week) Merge.kif 8985-8985 WeekFn 的所得值 是 星期subclass

appearance as argument number 2
-------------------------


(format EnglishLanguage WeekFn "the week # %1") domainEnglishFormat.kif 1256-1256

antecedent
-------------------------


(=>
    (and
        (instance ?W
            (WeekFn ?N ?Y))
        (instance ?YI ?Y))
    (during ?W ?YI))
Merge.kif 8991-8995


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners