TreeView 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
(instance LastFn UnaryFunction)	Merge.kif 3206-3206
(range LastFn Entity)	Merge.kif 3208-3208

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 33415-33415
(termFormat ChineseTraditionalLanguage LastFn "持續")	domainEnglishFormat.kif 33414-33414
(termFormat EnglishLanguage LastFn "last")	domainEnglishFormat.kif 33413-33413

antecedent

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

Merge.kif 3213-3218

consequent

(=> (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)) (equal (LastFn ?LIST) ?ITEM))	Merge.kif 3220-3224
(=> (measuringListDuration ?LIST ?DURATION) (exists (?T) (and (equal ?T (TimeIntervalFn (BeginFn (WhenFn (FirstFn ?LIST))) (EndFn (WhenFn (LastFn ?LIST))))) (duration ?T ?DURATION))))	Weather.kif 1861-1869

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

KB Term:			Term intersection

English Word: