LastFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation LastFn EnglishLanguage "(LastFn ?LIST) returns the last item in the List ?LIST. For example, (LastFn (ListFn Monday Tuesday Wednesday)) would return the value of Wednesday.")	Merge.kif 3209-3211
(domain LastFn 1 List)	Merge.kif 3207-3207	The number 1 argument of last is an instance of list
(instance LastFn UnaryFunction)	Merge.kif 3206-3206	Last is an instance of unary function
(range LastFn Entity)	Merge.kif 3208-3208	The range of last is an instance of entity

appearance as argument number 2

(format ChineseLanguage LastFn "%1 的 last ")	domainEnglishFormat.kif 1439-1439
(format ChineseTraditionalLanguage LastFn "%1 的 last ")	domainEnglishFormat.kif 1438-1438
(format EnglishLanguage LastFn "the last of %1")	domainEnglishFormat.kif 1437-1437
(termFormat ChineseLanguage LastFn "持续")	domainEnglishFormat.kif 33444-33444
(termFormat ChineseTraditionalLanguage LastFn "持續")	domainEnglishFormat.kif 33443-33443
(termFormat EnglishLanguage LastFn "last")	domainEnglishFormat.kif 33442-33442

antecedent

(=>
    (equal
        (LastFn ?LIST) ?ITEM)
    (exists (?NUMBER)
        (and
            (equal
                (ListLengthFn ?LIST) ?NUMBER)
            (equal
                (ListOrderFn ?LIST ?NUMBER) ?ITEM))))

Merge.kif 3213-3218

If the last of a list is equal to an entity,
then there exists a positive integer such that length of the list is equal to the positive integer and the positive integerth element of the list is equal to the entity

consequent

(=> (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)) (equal (LastFn ?LIST) ?ITEM))	Merge.kif 3220-3224	If length of a list is equal to a positive integer and the positive integerth element of the list is equal to another entity, then the last of the list is equal to the other entity
(=> (measuringListDuration ?LIST ?DURATION) (exists (?T) (and (equal ?T (TimeIntervalFn (BeginFn (WhenFn (FirstFn ?LIST))) (EndFn (WhenFn (LastFn ?LIST))))) (duration ?T ?DURATION))))	Weather.kif 1861-1869	If The Measuring for list a measuring list takes a time duration., then there exists a time interval such that the time interval is equal to interval between the beginning of the time of existence of the first of the measuring list and the end of the time of existence of the last of the measuring list and duration of the time interval is the time duration

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

KB Term:			Term intersection

English Word: