TreeView Knowledge Base Browser

appearance as argument number 1

(instance LastFn UnaryFunction)	Merge.kif 3316-3316	Last is an instance of unary function
(domain LastFn 1 List)	Merge.kif 3317-3317	The number 1 argument of last is an instance of list
(range LastFn Entity)	Merge.kif 3318-3318	The range of last is an instance of entity
(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 3319-3321	The range of last is an instance of entity

appearance as argument number 2

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

antecedent

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

Merge.kif 3323-3328

If equal the last of X and Y, then there exists Z such that equal length of X, Z, equal W element of X, and Y

consequent

(=> (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)) (equal (LastFn ?LIST) ?ITEM))	Merge.kif 3330-3334	If equal length of X and Y and equal Z element of X and W, then equal the last of X and W
(=> (measuringListDuration ?LIST ?DURATION) (exists (?T) (and (equal ?T (TimeIntervalFn (BeginFn (WhenFn (FirstFn ?LIST))) (EndFn (WhenFn (LastFn ?LIST))))) (duration ?T ?DURATION))))	Weather.kif 3145-3153	If The Measuring for list X takes Y., then there exists Z such that equal Z, interval between the beginning of the time of existence of the first of X, the end of the time of existence of the last of X, and duration of Z is Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: