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 8387-8390
(domain QuarterFn 1 PositiveInteger) Merge.kif 8383-8383 domain QuarterFn, 1 and PositiveInteger
(domainSubclass QuarterFn 2 Year) Merge.kif 8384-8384 domainSubclass QuarterFn, 2 and Year
(instance QuarterFn BinaryFunction) Merge.kif 8381-8381 instance QuarterFn and BinaryFunction
(instance QuarterFn PartialValuedRelation) Merge.kif 8382-8382 instance QuarterFn and PartialValuedRelation
(instance QuarterFn TemporalRelation) Merge.kif 8380-8380 instance QuarterFn and TemporalRelation
(rangeSubclass QuarterFn QuarterYear) Merge.kif 8385-8385 rangeSubclass QuarterFn and QuarterYear

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners