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 3203-3205
(domain LastFn 1 List)	Merge.kif 3201-3201	The number 1 argument of last is an instance of list
(instance LastFn UnaryFunction)	Merge.kif 3200-3200	Last is an instance of unary function
(range LastFn Entity)	Merge.kif 3202-3202	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 33443-33443
(termFormat ChineseTraditionalLanguage LastFn "持續")	domainEnglishFormat.kif 33442-33442
(termFormat EnglishLanguage LastFn "last")	domainEnglishFormat.kif 33441-33441

antecedent

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

Merge.kif 3207-3212

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 3214-3218	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 1860-1868	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: