TreeView Knowledge Base Browser

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 8874-8877
(domain QuarterFn 1 PositiveInteger)	Merge.kif 8870-8870	The number 1 argument of QuarterFn is an instance of positive integer
(domainSubclass QuarterFn 2 Year)	Merge.kif 8871-8871	The number 2 argument of QuarterFn is a subclass of year
(instance QuarterFn BinaryFunction)	Merge.kif 8868-8868	QuarterFn is an instance of binary function
(instance QuarterFn PartialValuedRelation)	Merge.kif 8869-8869	QuarterFn is an instance of partial valued relation
(instance QuarterFn TemporalRelation)	Merge.kif 8867-8867	QuarterFn is an instance of temporal relation
(rangeSubclass QuarterFn QuarterYear)	Merge.kif 8872-8872	The values returned by QuarterFn are subclasses of QuarterYear

appearance as argument number 2

(format ChineseLanguage QuarterFn "号码 %1 %2 的 quarter ")	domainEnglishFormat.kif 4327-4327
(format ChineseTraditionalLanguage QuarterFn "號碼 %1 %2 的 quarter ")	domainEnglishFormat.kif 4326-4326
(format EnglishLanguage QuarterFn "the number %1 quarter of %2")	domainEnglishFormat.kif 4325-4325

antecedent

(=>
    (and
        (instance ?Q QuarterYear)
        (instance ?Q
            (QuarterFn ?N ?Y))
        (instance ?YI
            (YearFn ?Y)))
    (during ?Q ?YI))

Merge.kif 8879-8884