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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SecondFn
SecondFn

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


(documentation SecondFn ChineseLanguage "这是一个 BinaryFunction,它把一个 PositiveRealNumber 与一个与一个 minute 的子类别,分配到每个 minute 内对应那个 PositiveRealNumbersecond。例如: (SecondFn 4 (MinuteFn 5 Hour)) 是所有每小时五分四秒 Class。另外一个例子:(SecondFn 8 Minute) 会得出所有每分钟八秒。再例如:(SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))))表示1912年八月十八日下午两点十五分九秒。") chinese_format.kif 2775-2780
(documentation SecondFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Minutes to the Seconds within each Minute corresponding to that PositiveRealNumber. For example, (SecondFn 4 (MinuteFn 5 Hour)) is the Class of all fourth Seconds of every fifth Minute of every hour. For another example, (SecondFn 8 Minute) would return the eighth second of every minute. For still another example, (SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912)))))) denotes 9 seconds and 15 minutes after 2 PM on the 18th day of August 1912.") Merge.kif 8783-8790
(documentation SecondFn JapaneseLanguage "BinaryFunction は、PositiveRealNumberMinute のサブクラスを、その PositiveRealNumber に対応する各 Minute 内の Second に割り 当てる。例えば、(SecondFn 4 (MinuteFn 5 Hour)) とは、Class の 毎時間の毎5 Minute 時の毎全4 Second である。別の例では、(SecondFn 8 Minute) は毎分8秒時を返す。さらに別の 例として、(SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912)))))) とは、1912年8月18日の午後2時以降9秒15分を示す。") japanese_format.kif 1505-1510
(domain SecondFn 1 PositiveInteger) Merge.kif 8779-8779 SecondFn の数値 1 引数は 正の整数instance では
(domainSubclass SecondFn 2 Minute) Merge.kif 8780-8780 SecondFn の数値 2 引数は subclass では
(instance SecondFn BinaryFunction) Merge.kif 8777-8777 SecondFn2変数関数instance では
(instance SecondFn PartialValuedRelation) Merge.kif 8778-8778 SecondFn部分的価値関係instance では
(instance SecondFn TemporalRelation) Merge.kif 8776-8776 SecondFn時間関係instance では
(rangeSubclass SecondFn Second) Merge.kif 8781-8781 SecondFn が返す値は subclasses では

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


(format ChineseLanguage SecondFn "%1 second") chinese_format.kif 475-475
(format EnglishLanguage SecondFn "the second %1") english_format.kif 481-481
(format FrenchLanguage SecondFn "la seconde %1") french_format.kif 274-274
(format ItalianLanguage SecondFn "il secondo %1") relations-it.txt 259-259
(format JapaneseLanguage SecondFn "%1 second 目") japanese_format.kif 2064-2064
(format PortugueseLanguage SecondFn "o segundo %1") portuguese_format.kif 226-226
(format cz SecondFn "%1 of %2") relations-cz.txt 280-280
(format de SecondFn "die sekund %1") relations-de.txt 618-618
(format hi SecondFn "%1 sekanda") relations-hindi.txt 296-296
(format ro SecondFn "second%t{secunda} %1") relations-ro.kif 295-295
(format sv SecondFn "sekunden %1") relations-sv.txt 301-301
(format tg SecondFn "ang segundo %1") relations-tg.txt 451-451
(relatedInternalConcept Second SecondFn) Merge.kif 9498-9498 SecondFninternally 関連して
(termFormat ChineseLanguage SecondFn "秒函数") chinese_format.kif 476-476 SecondFninternally 関連して
(termFormat ChineseLanguage SecondFn "第二") domainEnglishFormat.kif 51817-51817 SecondFninternally 関連して
(termFormat ChineseTraditionalLanguage SecondFn "第二") domainEnglishFormat.kif 51816-51816 SecondFninternally 関連して
(termFormat EnglishLanguage SecondFn "second") domainEnglishFormat.kif 51815-51815 SecondFninternally 関連して
(termFormat de SecondFn "SekundFn") terms-de.txt 193-193 SecondFninternally 関連して

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


(=>
    (and
        (instance ?SECOND1
            (SecondFn ?NUMBER1 ?MINUTE))
        (instance ?SECOND2
            (SecondFn ?NUMBER2 ?MINUTE))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?SECOND1 ?SECOND2))
Merge.kif 8796-8801
(=>
    (instance ?SECOND
        (SecondFn ?NUMBER ?MINUTE))
    (lessThan ?NUMBER 60))
Merge.kif 8792-8794

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


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


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 3.0 is open source software produced by Articulate Software and its partners