Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LastFn
LastFn

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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners