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


KB Term:  Term intersection
English Word: 

  SecondFn

 Sigma KEE - SecondFn
SecondFn

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


(instance SecondFn TemporalRelation) Merge.kif 8865-8865 Second is an instance of temporal relation
(instance SecondFn BinaryFunction) Merge.kif 8866-8866 Second is an instance of binary function
(instance SecondFn PartialValuedRelation) Merge.kif 8867-8867 Second is an instance of partial valued relation
(domain SecondFn 1 PositiveInteger) Merge.kif 8868-8868 The number 1 argument of second is an instance of positive integer
(domainSubclass SecondFn 2 Minute) Merge.kif 8869-8869 The number 2 argument of second is a subclass of minute
(rangeSubclass SecondFn Second) Merge.kif 8870-8870 The values returned by second are subclasses of second
(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 8872-8879 The values returned by second are subclasses of second

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


(relatedInternalConcept Second SecondFn) Merge.kif 9587-9587 Second is internally related to second
(termFormat EnglishLanguage SecondFn "second") domainEnglishFormat.kif 51808-51808 Second is internally related to second
(termFormat ChineseTraditionalLanguage SecondFn "第二") domainEnglishFormat.kif 51809-51809 Second is internally related to second
(termFormat ChineseLanguage SecondFn "第二") domainEnglishFormat.kif 51810-51810 Second is internally related to second
(format EnglishLanguage SecondFn "the second %1") english_format.kif 481-481 Second is internally related to second

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


(=>
    (instance ?SECOND
        (SecondFn ?NUMBER ?MINUTE))
    (lessThan ?NUMBER 60))		 Merge.kif 8881-8883 If X is an instance of the second Y, then Y is less than 60
(=>
    (and
        (instance ?SECOND1
            (SecondFn ?NUMBER1 ?MINUTE))
        (instance ?SECOND2
            (SecondFn ?NUMBER2 ?MINUTE))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?SECOND1 ?SECOND2))		 Merge.kif 8885-8890 If X is an instance of the second Y, Z is an instance of the second W, and equal (W and Y) and 1, then X meets Z

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


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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners