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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 8978-8981
(domain QuarterFn 1 PositiveInteger) Merge.kif 8975-8975
(domainSubclass QuarterFn 2 Year) Merge.kif 8976-8976
(instance QuarterFn BinaryFunction) Merge.kif 8973-8973
(instance QuarterFn PartialValuedRelation) Merge.kif 8974-8974
(instance QuarterFn TemporalRelation) Merge.kif 8972-8972
(rangeSubclass QuarterFn QuarterYear) Merge.kif 8977-8977

appearance as argument number 2

(format EnglishLanguage QuarterFn "the number %1 quarter of %2") domainEnglishFormat.kif 1090-1090


    (equal ?Q
        (QuarterFn ?N ?Y))
    (during ?Q ?Y))
Merge.kif 8983-8985

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