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

KB Term:  Term intersection
English Word: 

Sigma KEE - QuarterFn
QuarterFn

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


(instance QuarterFn TemporalRelation) Merge.kif 9167-9167 Quarter fn is an instance of temporal relation
(instance QuarterFn BinaryFunction) Merge.kif 9168-9168 Quarter fn is an instance of binary function
(instance QuarterFn PartialValuedRelation) Merge.kif 9169-9169 Quarter fn is an instance of partial valued relation
(domain QuarterFn 1 PositiveInteger) Merge.kif 9170-9170 The number 1 argument of quarter fn is an instance of positive integer
(domainSubclass QuarterFn 2 Year) Merge.kif 9171-9171 The number 2 argument of quarter fn is a subclass of year
(rangeSubclass QuarterFn QuarterYear) Merge.kif 9172-9172 The values returned by quarter fn are subclasses of quarter year
(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 9174-9177 The values returned by quarter fn are subclasses of quarter year

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


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

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


(=>
    (and
        (instance ?Q QuarterYear)
        (instance ?Q
            (QuarterFn ?N
                (YearFn ?Y)))
        (instance ?YI
            (YearFn ?Y)))
    (during ?Q ?YI))		 Merge.kif 9182-9187 If X is an instance of quarter year, X is an instance of the number Y quarter of the year Z, and W is an instance of the year Z, then X takes place during W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners