TreeView Knowledge Base Browser

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 8627-8634
(documentation MinuteFn JapaneseLanguage "BinaryFunction は、PositiveRealNumber と Hour のサブクラスを、その NonnegativeInteger に対応する各 Hour 内の Minute に割り当てる。例えば、(MinuteFn 30 (HourFn 17 Day)) は、午後の全5:30の Class である。別の例として、 (MinuteFn 15 Hour) は、1 時間を過ぎた四半期のすべてのインスタンスのクラスを返す。さらに別の例として、(MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) は、１９１２年８月１８日の午後２時以降の１５分後を示す。")	japanese_format.kif 1499-1504
(domain MinuteFn 1 NonnegativeInteger)	Merge.kif 8623-8623	Le nombre 1 argument de MinuteFn est une instance de nombre entier non n�gatif
(domainSubclass MinuteFn 2 Hour)	Merge.kif 8624-8624	Le nombre 2 argument de MinuteFn est une sous-classe de heure
(instance MinuteFn BinaryFunction)	Merge.kif 8621-8621	MinuteFn est une instance de fonction binaire
(instance MinuteFn PartialValuedRelation)	Merge.kif 8622-8622	MinuteFn est une instance de relation partielle
(instance MinuteFn TemporalRelation)	Merge.kif 8620-8620	MinuteFn est une instance de relation temporel
(rangeSubclass MinuteFn Minute)	Merge.kif 8625-8625	Les valeurs retourn�es par MinuteFn sont des sous-classes de minute

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
(format FrenchLanguage MinuteFn "la minute %1")	french_format.kif 273-273
(format ItalianLanguage MinuteFn "il minuto%1")	relations-it.txt 191-191
(format JapaneseLanguage MinuteFn "%1 minute 目")	japanese_format.kif 2063-2063
(format PortugueseLanguage MinuteFn "o minuto %1")	portuguese_format.kif 225-225
(format cz MinuteFn "%1 of %2")	relations-cz.txt 279-279
(format de MinuteFn "die minute %1")	relations-de.txt 616-616
(format hi MinuteFn "%1 kaa minaTa")	relations-hindi.txt 229-229
(format ro MinuteFn "minute%t{minutul} %1")	relations-ro.kif 294-294
(format sv MinuteFn "minuten %1")	relations-sv.txt 300-300
(format tg MinuteFn "ang minuto %1")	relations-tg.txt 368-368
(relatedInternalConcept Minute MinuteFn)	Merge.kif 9335-9335	Minute est reli� � l'int�rieur de SUMO � MinuteFn
(termFormat ChineseLanguage MinuteFn "分")	domainEnglishFormat.kif 37970-37970
(termFormat ChineseLanguage MinuteFn "分函数")	chinese_format.kif 474-474
(termFormat ChineseTraditionalLanguage MinuteFn "分")	domainEnglishFormat.kif 37969-37969
(termFormat EnglishLanguage MinuteFn "minute")	domainEnglishFormat.kif 37968-37968
(termFormat tg MinuteFn "tungkulin ng minuto")	relations-tg.txt 369-369

antecedent

(=> (and (instance ?MINUTE1 (MinuteFn ?NUMBER1 ?HOUR)) (instance ?MINUTE2 (MinuteFn ?NUMBER2 ?HOUR)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?MINUTE1 ?MINUTE2))	Merge.kif 8640-8645	Interval temporel est une instance de la minute nombre entier non n�gatif interval temporel est une instance de la minute nombre entier non n�gatif ( nombre entier non n�gatif + nombre entier non n�gatif) est interval temporel rencontre interval temporel
(=> (instance ?MINUTE (MinuteFn ?NUMBER ?HOUR)) (lessThan ?NUMBER 60))	Merge.kif 8636-8638	Entit� est une instance de la minute nombre entier non n�gatif nombre entier non n�gatif est moins que 60

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)

KB Term:			Term intersection

English Word: