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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MinuteFn

 Sigma KEE - MinuteFn
MinuteFn

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


(documentation MinuteFn ChineseLanguage "这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个与一个 Hour 的子类别，分配到每个 Hour 内对应那个 NonnegativeInteger 的 Minute。例如：(MinuteFn 30 (HourFn 17 Day))是所有下午5:30的 Class。另外一个例子： (MinuteFn 15 Hour) 会得出所有每个小时十五分钟实例的类别。再例如： (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) 表示1912年八月十八日下午两点十五分钟。") chinese_format.kif 2769-2774
(documentation MinuteFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Hours to the Minutes within each Hour corresponding to that NonnegativeInteger. For example, (MinuteFn 30 (HourFn 17 Day)) is the Class of all 5:30's in the afternoon. For another example, (MinuteFn 15 Hour) would return the class of all instances of quarter past the hour. For still another example, (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912.") Merge.kif 8545-8552
(domain MinuteFn 1 NonnegativeInteger) Merge.kif 8541-8541
(domainSubclass MinuteFn 2 Hour) Merge.kif 8542-8542
(instance MinuteFn BinaryFunction) Merge.kif 8539-8539
(instance MinuteFn PartialValuedRelation) Merge.kif 8540-8540
(instance MinuteFn TemporalRelation) Merge.kif 8538-8538
(rangeSubclass MinuteFn Minute) Merge.kif 8543-8543

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


(format ChineseLanguage MinuteFn "%1 minute") chinese_format.kif 473-473
(format EnglishLanguage MinuteFn "the minute %1") english_format.kif 479-479
(relatedInternalConcept Minute MinuteFn) Merge.kif 9249-9249
(termFormat ChineseLanguage MinuteFn "分") domainEnglishFormat.kif 37944-37944
(termFormat ChineseLanguage MinuteFn "分函数") chinese_format.kif 474-474
(termFormat ChineseTraditionalLanguage MinuteFn "分") domainEnglishFormat.kif 37943-37943
(termFormat EnglishLanguage MinuteFn "minute") domainEnglishFormat.kif 37942-37942

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


(=>
    (and
        (instance ?MINUTE1
            (MinuteFn ?NUMBER1 ?HOUR))
        (instance ?MINUTE2
            (MinuteFn ?NUMBER2 ?HOUR))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?MINUTE1 ?MINUTE2))		 Merge.kif 8558-8563
(=>
    (instance ?MINUTE
        (MinuteFn ?NUMBER ?HOUR))
    (lessThan ?NUMBER 60))		 Merge.kif 8554-8556

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


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


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