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