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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuarterFn
QuarterFn

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


(documentation QuarterFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Quarter within each Year corresponding to that PositiveRealNumber. For example, (QuarterFn 4 (YearFn 1999)) is the singular Class of the last QuarterYear of the Year 1999.") Merge.kif 8420-8423
(domain QuarterFn 1 PositiveInteger) Merge.kif 8416-8416 QuarterFn 的 1 数量 是 正整数instance
(domainSubclass QuarterFn 2 Year) Merge.kif 8417-8417 QuarterFn 的 2 数量 是 subclass
(instance QuarterFn BinaryFunction) Merge.kif 8414-8414 QuarterFn二元函数instance
(instance QuarterFn PartialValuedRelation) Merge.kif 8415-8415 QuarterFn部分值关系instance
(instance QuarterFn TemporalRelation) Merge.kif 8413-8413 QuarterFn时间关系instance
(rangeSubclass QuarterFn QuarterYear) Merge.kif 8418-8418 QuarterFn 的所得值 是 QuarterYearsubclass

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


(format ChineseLanguage QuarterFn "号码 %1 %2 的 quarter ") domainEnglishFormat.kif 4323-4323
(format ChineseTraditionalLanguage QuarterFn "號碼 %1 %2 的 quarter ") domainEnglishFormat.kif 4322-4322
(format EnglishLanguage QuarterFn "the number %1 quarter of %2") domainEnglishFormat.kif 4321-4321

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


(=>
    (and
        (instance ?Q
            (QuarterFn ?N ?Y))
        (instance ?YI ?Y))
    (during ?Q ?YI))
Merge.kif 8425-8429


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