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 内对应那个 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 8617-8623
(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 8613-8613 Le nombre 1 argument de HourFn est une instance de nombre entier non n�gatif
(domainSubclass HourFn 2 Day) Merge.kif 8614-8614 Le nombre 2 argument de HourFn est une sous-classe de jour
(instance HourFn BinaryFunction) Merge.kif 8611-8611 HourFn est une instance de fonction binaire
(instance HourFn PartialValuedRelation) Merge.kif 8612-8612 HourFn est une instance de relation partielle
(instance HourFn TemporalRelation) Merge.kif 8610-8610 HourFn est une instance de relation temporel
(rangeSubclass HourFn Hour) Merge.kif 8615-8615 Les valeurs retourn�es par HourFn sont des sous-classes de heure

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 9341-9341 Heure est reli� � l'int�rieur de SUMO � HourFn
(termFormat ChineseLanguage HourFn "小时") domainEnglishFormat.kif 28713-28713
(termFormat ChineseLanguage HourFn "时函数") chinese_format.kif 472-472
(termFormat ChineseTraditionalLanguage HourFn "小時") domainEnglishFormat.kif 28712-28712
(termFormat EnglishLanguage HourFn "hour") domainEnglishFormat.kif 28711-28711
(termFormat tg HourFn "tungkulin ng horas") relations-tg.txt 273-273

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


(=>
    (and
        (instance ?HOUR1
            (HourFn ?NUMBER1 ?DAY))
        (instance ?HOUR2
            (HourFn ?NUMBER2 ?DAY))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?HOUR1 ?HOUR2))		 Merge.kif 8629-8634
(=>
    (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 17176-17182
(=>
    (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 17188-17194
(=>
    (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 17164-17170
(=>
    (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 17152-17158
(=>
    (instance ?HOUR
        (HourFn ?NUMBER ?DAY))
    (lessThan ?NUMBER 24))		 Merge.kif 8625-8627

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
(=>
    (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
(=>
    (instance ?AFTERNOON Afternoon)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (starts ?HOUR ?AFTERNOON))))		 Merge.kif 8795-8801
(=>
    (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 19044-19051
(=>
    (instance ?MORNING Morning)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (finishes ?HOUR ?MORNING))))		 Merge.kif 8807-8813
(=>
    (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 19058-19065
(=>
    (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

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


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


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