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


KB Term:  Term intersection
English Word: 

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