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


KB Term:  Term intersection
English Word: 

Sigma KEE - FirstFn
FirstFn

appearance as argument number 1
-------------------------


(instance FirstFn UnaryFunction) Merge.kif 3336-3336 First is an instance of unary function
(domain FirstFn 1 List) Merge.kif 3337-3337 The number 1 argument of first is an instance of list
(range FirstFn Entity) Merge.kif 3338-3338 The range of first is an instance of entity
(documentation FirstFn EnglishLanguage "(FirstFn ?LIST) returns the first item in the List ?LIST. For example, (FirstFn (ListFn Monday Tuesday Wednesday)) would return the value of Monday.") Merge.kif 3339-3341 The range of first is an instance of entity

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


(format EnglishLanguage FirstFn "the first of %1") domainEnglishFormat.kif 1010-1010
(format ChineseTraditionalLanguage FirstFn "%1 的 first ") domainEnglishFormat.kif 1011-1011
(format ChineseLanguage FirstFn "%1 的 first ") domainEnglishFormat.kif 1012-1012
(termFormat EnglishLanguage FirstFn "first") domainEnglishFormat.kif 23950-23950
(termFormat ChineseTraditionalLanguage FirstFn "第一") domainEnglishFormat.kif 23951-23951
(termFormat ChineseLanguage FirstFn "第一") domainEnglishFormat.kif 23952-23952

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


(=>
    (and
        (viewedItemList ?USER ?LIST)
        (instance ?ACCESSING AccessingWebPage)
        (equal
            (FirstFn ?LIST) ?ACCESSING))
    (not
        (exists (?ACCESSING2)
            (and
                (instance ?ACCESSING2 AccessingWebPage)
                (agent ?ACCESSING2 ?USER)
                (earlier
                    (WhenFn ?ACCESSING2)
                    (WhenFn ?ACCESSING))))))		 UXExperimentalTerms.kif 783-797 If X is the list of items viewed by Y, Z is an instance of accessing web page, and equal the first of X and Z, then there doesn't exist W such that W is an instance of accessing web page, Y is an agent of W, and the time of existence of W happens earlier than the time of existence of Z

consequent
-------------------------


(=>
    (and
        (instance ?LIST List)
        (not
            (equal ?LIST NullList)))
    (equal
        (FirstFn ?LIST)
        (ListOrderFn ?LIST 1)))		 Merge.kif 3343-3348 If X is an instance of list and equal X and null list, then equal the first of X and 1th element of X
(=>
    (and
        (equal ?A
            (ListSumFn ?L))
        (greaterThan
            (ListLengthFn ?L) 1))
    (equal ?A
        (AdditionFn
            (FirstFn ?L)
            (ListSumFn
                (SubListFn 2
                    (ListLengthFn ?L) ?L)))))		 Merge.kif 3369-3379 If equal X and the sum of Y and length of Y is greater than 1, then equal X and (the first of Y and the sum of the sub-list from 2 to length of Y of Y)
(=>
    (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
(=>
    (and
        (inList ?INT ?LIST)
        (equal ?LIST
            (TimeIntervalListFn ?TIME ?DUR)))
    (equal
        (BeginFn ?TIME)
        (BeginFn
            (FirstFn ?LIST))))		 Weather.kif 3233-3240 If X is a member of Y and equal Y and ConsecutiveTimeIntervalList for at Z at W is contained in TimeIntervalListFn, then equal the beginning of Z and the beginning of the first of 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners