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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuarterFn

 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 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

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


(=>
    (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