TreeView Knowledge Base Browser

appearance as argument number 1

(instance MinuteFn TemporalRelation)	Merge.kif 8838-8838	Minute is an instance of temporal relation
(instance MinuteFn BinaryFunction)	Merge.kif 8839-8839	Minute is an instance of binary function
(instance MinuteFn PartialValuedRelation)	Merge.kif 8840-8840	Minute is an instance of partial valued relation
(domain MinuteFn 1 NonnegativeInteger)	Merge.kif 8841-8841	The number 1 argument of minute is an instance of nonnegative integer
(domainSubclass MinuteFn 2 Hour)	Merge.kif 8842-8842	The number 2 argument of minute is a subclass of hour
(rangeSubclass MinuteFn Minute)	Merge.kif 8843-8843	The values returned by minute are subclasses of minute
(documentation MinuteFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Hours to the Minutes within each Hour corresponding to that NonnegativeInteger. For example, (MinuteFn 30 (HourFn 17 Day)) is the Class of all 5:30's in the afternoon. For another example, (MinuteFn 15 Hour) would return the class of all instances of quarter past the hour. For still another example, (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912.")	Merge.kif 8845-8852	The values returned by minute are subclasses of minute

appearance as argument number 2

(relatedInternalConcept Minute MinuteFn)	Merge.kif 9576-9576	Minute is internally related to minute
(termFormat EnglishLanguage MinuteFn "minute")	domainEnglishFormat.kif 37955-37955	Minute is internally related to minute
(termFormat ChineseTraditionalLanguage MinuteFn "分")	domainEnglishFormat.kif 37956-37956	Minute is internally related to minute
(termFormat ChineseLanguage MinuteFn "分")	domainEnglishFormat.kif 37957-37957	Minute is internally related to minute
(format EnglishLanguage MinuteFn "the minute %1")	english_format.kif 479-479	Minute is internally related to minute

antecedent

(=> (instance ?MINUTE (MinuteFn ?NUMBER ?HOUR)) (lessThan ?NUMBER 60))	Merge.kif 8854-8856	If X is an instance of the minute Y, then Y is less than 60
(=> (and (instance ?MINUTE1 (MinuteFn ?NUMBER1 ?HOUR)) (instance ?MINUTE2 (MinuteFn ?NUMBER2 ?HOUR)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?MINUTE1 ?MINUTE2))	Merge.kif 8858-8863	If X is an instance of the minute Y, Z is an instance of the minute W, and equal (W and Y) and 1, then X meets Z

statement

(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn January
                        (YearFn 1970)))))))

QoSontology.kif 2267-2267

equal unix epoch and the second 0

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: