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 内对应那个 PositiveRealNumber 的 second。例如: (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 8130-8137
(domain SecondFn 1 PositiveInteger) Merge.kif 8126-8126 domain SecondFn, 1 and PositiveInteger
(domainSubclass SecondFn 2 Minute) Merge.kif 8127-8127 domainSubclass SecondFn, 2 and Minute
(instance SecondFn BinaryFunction) Merge.kif 8124-8124 instance SecondFn and BinaryFunction
(instance SecondFn PartialValuedRelation) Merge.kif 8125-8125 instance SecondFn and PartialValuedRelation
(instance SecondFn TemporalRelation) Merge.kif 8123-8123 instance SecondFn and TemporalRelation
(rangeSubclass SecondFn Second) Merge.kif 8128-8128 rangeSubclass SecondFn and Second

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


(format ChineseLanguage SecondFn "%1 second") chinese_format.kif 475-475
(format EnglishLanguage SecondFn "the second %1") english_format.kif 484-484
(relatedInternalConcept Second SecondFn) Merge.kif 8804-8804 relatedInternalConcept Second and SecondFn
(termFormat ChineseLanguage SecondFn "秒函数") chinese_format.kif 476-476
(termFormat ChineseLanguage SecondFn "第二") domainEnglishFormat.kif 51731-51731
(termFormat ChineseTraditionalLanguage SecondFn "第二") domainEnglishFormat.kif 51730-51730
(termFormat EnglishLanguage SecondFn "second") domainEnglishFormat.kif 51729-51729

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


(=>
    (and
        (instance ?SECOND1
            (SecondFn ?NUMBER1 ?MINUTE))
        (instance ?SECOND2
            (SecondFn ?NUMBER2 ?MINUTE))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?SECOND1 ?SECOND2))
Merge.kif 8143-8148
(=>
    (instance ?SECOND
        (SecondFn ?NUMBER ?MINUTE))
    (lessThan ?NUMBER 60))
Merge.kif 8139-8141

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


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


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