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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7953-7959
(domain HourFn 1 NonnegativeInteger) Merge.kif 7949-7949 The number 1 argument of hour is an instance of nonnegative integer
(domainSubclass HourFn 2 Day) Merge.kif 7950-7950 The number 2 argument of hour is a subclass of day
(instance HourFn BinaryFunction) Merge.kif 7947-7947 Hour is an instance of binary function
(instance HourFn PartialValuedRelation) Merge.kif 7948-7948 Hour is an instance of partial valued relation
(instance HourFn TemporalRelation) Merge.kif 7946-7946 Hour is an instance of temporal relation
(rangeSubclass HourFn Hour) Merge.kif 7951-7951 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 480-480
(relatedInternalConcept Hour HourFn) Merge.kif 8659-8659 Hour is internally related to hour
(termFormat ChineseLanguage HourFn "小时") domainEnglishFormat.kif 28615-28615 "小时" is the printable form of hour in ChineseLanguage
(termFormat ChineseLanguage HourFn "时函数") chinese_format.kif 472-472 "时函数" is the printable form of hour in ChineseLanguage
(termFormat ChineseTraditionalLanguage HourFn "小時") domainEnglishFormat.kif 28614-28614 "小時" is the printable form of hour in ChineseTraditionalLanguage
(termFormat EnglishLanguage HourFn "hour") domainEnglishFormat.kif 28613-28613 "hour" is the printable form of hour in english language

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


(=>
    (and
        (instance ?HOUR1
            (HourFn ?NUMBER1 ?DAY))
        (instance ?HOUR2
            (HourFn ?NUMBER2 ?DAY))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?HOUR1 ?HOUR2))
Merge.kif 7965-7970
(=>
    (instance ?HOUR
        (HourFn ?NUMBER ?DAY))
    (lessThan ?NUMBER 24))
Merge.kif 7961-7963

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


(=>
    (and
        (dayPhone ?Number ?Agent)
        (instance ?Day Day))
    (exists (?Phone)
        (and
            (phoneNumber ?Number ?Phone)
            (holdsDuring
                (HourFn ?Number ?Day)
                (possesses ?Agent ?Phone))
            (lessThan ?Number 18))))
FinancialOntology.kif 3589-3597
(=>
    (and
        (eveningPhone ?Number ?Agent)
        (instance ?Day Day))
    (exists (?Phone)
        (and
            (phoneNumber ?Number ?Phone)
            (holdsDuring
                (HourFn ?Number ?Day)
                (possesses ?Agent ?Phone))
            (greaterThan ?Number 18))))
FinancialOntology.kif 3606-3614
(=>
    (instance ?AFTERNOON Afternoon)
    (exists (?HOUR)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (starts ?HOUR ?AFTERNOON))))
Merge.kif 8130-8135
(=>
    (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 16879-16886
(=>
    (instance ?MORNING Morning)
    (exists (?HOUR)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (finishes ?HOUR ?MORNING))))
Merge.kif 8141-8146
(=>
    (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 16892-16899
(=>
    (instance ?TIME LunchTime)
    (exists (?ELEVEN ?THREE)
        (and
            (during ?TIME
                (TimeIntervalFn
                    (BeginFn ?ELEVEN)
                    (EndFn ?THREE)))
            (instance ?ELEVEN
                (HourFn 11 ?DAY))
            (instance ?THREE
                (HourFn 15 ?DAY)))))
Food.kif 261-270

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


(equal UnixEpoch
    (SecondFn 0
        (MinuteFn 0
            (HourFn 0
                (DayFn 1
                    (MonthFn 1
                        (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners