TreeView Knowledge Base Browser

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: