Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HourFn

Sigma KEE - HourFn
HourFn

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


(documentation HourFn ChineseLanguage "这是一个 BinaryFunction, 它把一个 PositiveRealNumber 与一个与一个 Day 的子类别,分配到每个 Day 内对应那个 NonnegativeIntegerHour。例如:(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 8554-8560
(domain HourFn 1 NonnegativeInteger) Merge.kif 8550-8550
(domainSubclass HourFn 2 Day) Merge.kif 8551-8551
(instance HourFn BinaryFunction) Merge.kif 8548-8548
(instance HourFn PartialValuedRelation) Merge.kif 8549-8549
(instance HourFn TemporalRelation) Merge.kif 8547-8547
(rangeSubclass HourFn Hour) Merge.kif 8552-8552

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
(relatedInternalConcept Hour HourFn) Merge.kif 9278-9278
(termFormat ChineseLanguage HourFn "小时") domainEnglishFormat.kif 28697-28697
(termFormat ChineseLanguage HourFn "时函数") chinese_format.kif 472-472
(termFormat ChineseTraditionalLanguage HourFn "小時") domainEnglishFormat.kif 28696-28696
(termFormat EnglishLanguage HourFn "hour") domainEnglishFormat.kif 28695-28695

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


(=>
    (and
        (instance ?HOUR1
            (HourFn ?NUMBER1 ?DAY))
        (instance ?HOUR2
            (HourFn ?NUMBER2 ?DAY))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?HOUR1 ?HOUR2))
Merge.kif 8566-8571
(=>
    (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 17060-17066
(=>
    (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 17072-17078
(=>
    (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 17048-17054
(=>
    (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 17036-17042
(=>
    (instance ?HOUR
        (HourFn ?NUMBER ?DAY))
    (lessThan ?NUMBER 24))
Merge.kif 8562-8564

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 3702-3722
(=>
    (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 3746-3766
(=>
    (instance ?AFTERNOON Afternoon)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (starts ?HOUR ?AFTERNOON))))
Merge.kif 8732-8738
(=>
    (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 18876-18883
(=>
    (instance ?MORNING Morning)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (finishes ?HOUR ?MORNING))))
Merge.kif 8744-8750
(=>
    (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 18890-18897
(=>
    (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 195-204

statement
-------------------------


(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn January
                        (YearFn 1970)))))))
QoSontology.kif 2143-2143


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

Show without tree


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