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

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


        (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