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


KB Term:  Term intersection
English Word: 

Sigma KEE - HourFn
HourFn

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


(instance HourFn TemporalRelation) Merge.kif 8812-8812 Hour is an instance of temporal relation
(instance HourFn BinaryFunction) Merge.kif 8813-8813 Hour is an instance of binary function
(instance HourFn PartialValuedRelation) Merge.kif 8814-8814 Hour is an instance of partial valued relation
(domain HourFn 1 NonnegativeInteger) Merge.kif 8815-8815 The number 1 argument of hour is an instance of nonnegative integer
(domainSubclass HourFn 2 Day) Merge.kif 8816-8816 The number 2 argument of hour is a subclass of day
(rangeSubclass HourFn Hour) Merge.kif 8817-8817 The values returned by hour are subclasses of hour
(documentation HourFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Days to the Hours within each Day corresponding to that NonnegativeInteger. For example, (HourFn 12 Thursday) is the Class of all instances of noon Thursday. For another example, (HourFn 0 Day) would return the class of all instances of midnight. For still another example, (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912)))) denotes 2 PM on the 18th day of August 1912.") Merge.kif 8819-8825 The values returned by hour are subclasses of hour

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


(relatedInternalConcept Hour HourFn) Merge.kif 9566-9566 Hour is internally related to hour
(termFormat EnglishLanguage HourFn "hour") domainEnglishFormat.kif 28709-28709 Hour is internally related to hour
(termFormat ChineseTraditionalLanguage HourFn "小時") domainEnglishFormat.kif 28710-28710 Hour is internally related to hour
(termFormat ChineseLanguage HourFn "小时") domainEnglishFormat.kif 28711-28711 Hour is internally related to hour
(format EnglishLanguage HourFn "the hour %1") english_format.kif 477-477 Hour is internally related to hour

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


(=>
    (instance ?HOUR
        (HourFn ?NUMBER ?DAY))
    (lessThan ?NUMBER 24))		 Merge.kif 8827-8829 If X is an instance of the hour Y, then Y is less than 24
(=>
    (and
        (instance ?HOUR1
            (HourFn ?NUMBER1 ?DAY))
        (instance ?HOUR2
            (HourFn ?NUMBER2 ?DAY))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?HOUR1 ?HOUR2))		 Merge.kif 8831-8836 If X is an instance of the hour Y, Z is an instance of the hour W, and equal (W and Y) and 1, then X meets Z
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?PST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC PacificTimeZone) ?PST))
    (equal ?H2
        (AdditionFn ?H1 8)))		 Merge.kif 17532-17538 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone pacific time zone and Z, then equal W and (Y and 8)
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?MST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC MountainTimeZone) ?MST))
    (equal ?H2
        (AdditionFn ?H1 7)))		 Merge.kif 17544-17550 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone mountain time zone and Z, then equal W and (Y and 7)
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?CST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC CentralTimeZone) ?CST))
    (equal ?H2
        (AdditionFn ?H1 6)))		 Merge.kif 17556-17562 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone central time zone and Z, then equal W and (Y and 6)
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?EST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC EasternTimeZone) ?EST))
    (equal ?H2
        (AdditionFn ?H1 5)))		 Merge.kif 17568-17574 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone eastern time zone and Z, then equal W and (Y and 5)

consequent
-------------------------


(=>
    (instance ?AFTERNOON Afternoon)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (starts ?HOUR ?AFTERNOON))))		 Merge.kif 8997-9003 If X is an instance of afternoon, then there exist Y, Z such that Y is an instance of the hour 12, and Y starts X
(=>
    (instance ?MORNING Morning)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (finishes ?HOUR ?MORNING))))		 Merge.kif 9009-9015 If X is an instance of morning, then there exist Y, Z such that Y is an instance of the hour 12, and Y finishes X
(=>
    (instance ?AM AnteMeridiem)
    (exists (?D ?HOUR1 ?HOUR2)
        (and
            (instance ?HOUR1
                (HourFn 0 ?D))
            (starts ?HOUR1 ?AM)
            (instance ?HOUR2
                (HourFn 12 ?D))
            (finishes ?HOUR2 ?AM))))		 Mid-level-ontology.kif 21032-21039 If X is an instance of ante meridiem, then there exist Y, Z, W such that Z is an instance of the hour 0, Z starts X, W is an instance of the hour 12, and W finishes X
(=>
    (instance ?PM PostMeridiem)
    (exists (?D ?HOUR1 ?HOUR2)
        (and
            (instance ?HOUR1
                (HourFn 12 ?D))
            (starts ?HOUR1 ?PM)
            (instance ?HOUR2
                (HourFn 23 ?D))
            (finishes ?HOUR2 ?PM))))		 Mid-level-ontology.kif 21046-21053 If X is an instance of post meridiem, then there exist Y, Z, W such that Z is an instance of the hour 12, Z starts X, W is an instance of the hour 23, and W finishes X
(=>
    (dayPhone ?Number ?Agent)
    (exists (?Phone ?Hour ?Num)
        (and
            (phoneNumber ?Number ?Phone)
            (greaterThan ?Num 6)
            (lessThan ?Num 18)
            (instance ?TIME
                (HourFn ?Num ?Day))
            (holdsDuring ?TIME
                (exists (?T)
                    (and
                        (instance ?T Telephoning)
                        (destination ?T ?Agent)
                        (patient ?T ?Phone)
                        (possesses ?Agent ?Phone)
                        (modalAttribute
                            (exists (?A)
                                (and
                                    (instance ?A Answering)
                                    (subProcess ?A ?T)
                                    (agent ?A ?Agent))) Likely)))))))		 FinancialOntology.kif 3749-3769 If X is a day phone of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a phone number of Y (3) V is greater than 6 (4) V is less than 18 (5) U is an instance of the hour V (6) there exists T such that T is an instance of telephoning (7) T ends up at X (8) Z is a patient of T (9) X possesses Z (10) the statement there exists S such that S is an instance of answering (11) S is a subprocess of T (12) X is an agent of S has the modal force of likely holds during U
(=>
    (eveningPhone ?Number ?Agent)
    (exists (?Phone ?Hour ?Num)
        (and
            (phoneNumber ?Number ?Phone)
            (greaterThan ?Num 18)
            (lessThan ?Num 6)
            (instance ?TIME
                (HourFn ?Num ?Day))
            (holdsDuring ?TIME
                (exists (?T)
                    (and
                        (instance ?T Telephoning)
                        (destination ?T ?Agent)
                        (patient ?T ?Phone)
                        (possesses ?Agent ?Phone)
                        (modalAttribute
                            (exists (?A)
                                (and
                                    (instance ?A Answering)
                                    (subProcess ?A ?T)
                                    (agent ?A ?Agent))) Likely)))))))		 FinancialOntology.kif 3793-3813 If X is an evening phone of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a phone number of Y (3) V is greater than 18 (4) V is less than 6 (5) U is an instance of the hour V (6) there exists T such that T is an instance of telephoning (7) T ends up at X (8) Z is a patient of T (9) X possesses Z (10) the statement there exists S such that S is an instance of answering (11) S is a subprocess of T (12) X is an agent of S has the modal force of likely holds during U
(=>
    (instance ?TIME LunchTime)
    (exists (?ELEVEN ?THREE ?DAY)
        (and
            (during ?TIME
                (TimeIntervalFn
                    (BeginFn ?ELEVEN)
                    (EndFn ?THREE)))
            (instance ?ELEVEN
                (HourFn 11 ?DAY))
            (instance ?THREE
                (HourFn 15 ?DAY)))))		 Food.kif 1880-1889 If X is an instance of lunch time, then there exist Y, Z, W such that X takes place during interval between the beginning of Y, the end of Z, Y is an instance of the hour 11, and Z is an instance of the hour 15

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