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 3142-3144
(domain LastFn 1 List)	Merge.kif 3140-3140	The number 1 argument of last is an instance of list
(instance LastFn UnaryFunction)	Merge.kif 3139-3139	Last is an instance of unary function
(range LastFn Entity)	Merge.kif 3141-3141	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 33402-33402
(termFormat ChineseTraditionalLanguage LastFn "持續")	domainEnglishFormat.kif 33401-33401
(termFormat EnglishLanguage LastFn "last")	domainEnglishFormat.kif 33400-33400

antecedent

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

Merge.kif 3146-3151

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 3153-3157	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 1877-1885	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: