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


KB Term:  Term intersection
English Word: 

Sigma KEE - MinuteFn
MinuteFn

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