HourFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HourFn ChineseLanguage "这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个与一个 Day 的子类别，分配到每个 Day 内对应那个 NonnegativeInteger 的 Hour。例如：(HourFn 12 Thursday)是所有星期四中午的 Class。另外一个例子： (HourFn 0 Day)会得出子夜所有实例的类别。再例如： (HourFn 14(DayFn 18 (MonthFn August (YearFn 1912))))表示1912年八月十八日下午两点。")	chinese_format.kif 2764-2768
(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 8653-8659
(documentation HourFn JapaneseLanguage "BinaryFunction は、その NonnegativeInteger に対応する各 Day 内の Hour に PositiveRealNumber と Day のサブクラスを割り当てる。例えば、(HourFn 12 Thursday) は木曜日の正午のすべてのインスタンスの Class である。別の例では、 (HourFn 0 Day) は午前零時のすべてのインスタンスのクラスを返す。さらに別の例については、 (HourFn 14(DayFn 18 (MonthFn August (YearFn 1912)))) は、１９１２年８月１８日の午後２時を示す。")	japanese_format.kif 1493-1498
(domain HourFn 1 NonnegativeInteger)	Merge.kif 8649-8649	The number 1 argument of hour is an instance of nonnegative integer
(domainSubclass HourFn 2 Day)	Merge.kif 8650-8650	The number 2 argument of hour is a subclass of day
(instance HourFn BinaryFunction)	Merge.kif 8647-8647	Hour is an instance of binary function
(instance HourFn PartialValuedRelation)	Merge.kif 8648-8648	Hour is an instance of partial valued relation
(instance HourFn TemporalRelation)	Merge.kif 8646-8646	Hour is an instance of temporal relation
(rangeSubclass HourFn Hour)	Merge.kif 8651-8651	The values returned by hour are subclasses of hour

appearance as argument number 2

(format ChineseLanguage HourFn "%1 hour")	chinese_format.kif 471-471
(format EnglishLanguage HourFn "the hour %1")	english_format.kif 477-477
(format FrenchLanguage HourFn "l' heure %1")	french_format.kif 272-272
(format ItalianLanguage HourFn "l' ora %1")	relations-it.txt 133-133
(format JapaneseLanguage HourFn "%1 hour 目")	japanese_format.kif 2062-2062
(format PortugueseLanguage HourFn "a hora %1")	portuguese_format.kif 224-224
(format cz HourFn "%1 of %2")	relations-cz.txt 278-278
(format de HourFn "die stunde %1")	relations-de.txt 614-614
(format hi HourFn "%1 ke-samaya")	relations-hindi.txt 172-172
(format ro HourFn "hour%t{ora} %1")	relations-ro.kif 293-293
(format sv HourFn "timmen %1")	relations-sv.txt 299-299
(format tg HourFn "ang horas %1")	relations-tg.txt 272-272
(relatedInternalConcept Hour HourFn)	Merge.kif 9377-9377	Hour is internally related to hour
(termFormat ChineseLanguage HourFn "小时")	domainEnglishFormat.kif 28741-28741	Hour is internally related to hour
(termFormat ChineseLanguage HourFn "时函数")	chinese_format.kif 472-472	Hour is internally related to hour
(termFormat ChineseTraditionalLanguage HourFn "小時")	domainEnglishFormat.kif 28740-28740	Hour is internally related to hour
(termFormat EnglishLanguage HourFn "hour")	domainEnglishFormat.kif 28739-28739	Hour is internally related to hour
(termFormat tg HourFn "tungkulin ng horas")	relations-tg.txt 273-273	Hour is internally related to hour

antecedent

(=> (and (instance ?HOUR1 (HourFn ?NUMBER1 ?DAY)) (instance ?HOUR2 (HourFn ?NUMBER2 ?DAY)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?HOUR1 ?HOUR2))	Merge.kif 8665-8670	If a time interval is an instance of the hour a nonnegative integer and another time interval is an instance of the hour another nonnegative integer and (the other nonnegative integer and the nonnegative integer) is equal to 1, then the time interval meets the other time interval
(=> (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 17277-17283	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone central time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer 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 17289-17295	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone eastern time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 5)
(=> (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 17265-17271	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone mountain time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 7)
(=> (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 17253-17259	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone pacific time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 8)
(=> (instance ?HOUR (HourFn ?NUMBER ?DAY)) (lessThan ?NUMBER 24))	Merge.kif 8661-8663	If an entity is an instance of the hour a nonnegative integer, then the nonnegative integer is less than 24

consequent

(=> (dayPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 6) (lessThan ?Num 18) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (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 3691-3711	If an agent is a day phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 6 and the real number is less than 18 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
(=> (eveningPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 18) (lessThan ?Num 6) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (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 3735-3755	If an agent is an evening phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 18 and the real number is less than 6 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
(=> (instance ?AFTERNOON Afternoon) (exists (?HOUR ?DAY) (and (instance ?HOUR (HourFn 12 ?DAY)) (starts ?HOUR ?AFTERNOON))))	Merge.kif 8831-8837	If a time interval is an instance of afternoon, then there exist another time interval and a kind of day such that the other time interval is an instance of the hour 12 and the other time interval starts the time interval
(=> (instance ?AM AnteMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 24 ?D)) (starts ?HOUR1 ?AM) (instance ?HOUR2 (HourFn 12 ?D)) (finishes ?HOUR2 ?AM))))	Mid-level-ontology.kif 19353-19360	If a time interval is an instance of ante meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 24 and the other time interval starts the time interval and the third time interval is an instance of the hour 12 and the third time interval finishes the time interval
(=> (instance ?MORNING Morning) (exists (?HOUR ?DAY) (and (instance ?HOUR (HourFn 12 ?DAY)) (finishes ?HOUR ?MORNING))))	Merge.kif 8843-8849	If a time interval is an instance of morning, then there exist another time interval and a kind of day such that the other time interval is an instance of the hour 12 and the other time interval finishes the time interval
(=> (instance ?PM PostMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 12 ?D)) (starts ?HOUR1 ?PM) (instance ?HOUR2 (HourFn 24 ?D)) (finishes ?HOUR2 ?PM))))	Mid-level-ontology.kif 19367-19374	If a time interval is an instance of post meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 12 and the other time interval starts the time interval and the third time interval is an instance of the hour 24 and the third time interval finishes the time interval
(=> (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 1867-1876	If a time interval is an instance of lunch time, then there exist another time interval, a third time interval and a kind of day such that the time interval takes place during interval between the beginning of the other time interval and the end of the third time interval and the other time interval is an instance of the hour 11 and the third time interval is an instance of the hour 15

statement

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

QoSontology.kif 2143-2143

Unix epoch is equal to 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: