Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  LastFn

Sigma KEE - LastFn
LastFn

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.") Mid-level-ontology.kif 6342-6344
(domain LastFn 1 List) Mid-level-ontology.kif 6340-6340
(instance LastFn UnaryFunction) Mid-level-ontology.kif 6339-6339
(range LastFn Entity) Mid-level-ontology.kif 6341-6341

appearance as argument number 2
-------------------------


(format EnglishLanguage LastFn "the last of %1") domainEnglishFormat.kif 368-368
(termFormat EnglishLanguage LastFn "last") domainEnglishFormat.kif 5988-5988

antecedent
-------------------------


(<=>
    (equal
        (LastFn ?LIST) ?ITEM)
    (exists (?NUMBER)
        (and
            (equal
                (ListLengthFn ?LIST) ?NUMBER)
            (equal
                (ListOrderFn ?LIST ?NUMBER) ?ITEM))))
Mid-level-ontology.kif 6346-6351


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners