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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - List
List(list)Fibonacci_sequence, abecedarian, about, alphabetically, arithmetic_progression, around, celestial_hierarchy, chronological, codon, column, combination, consecutive, data_hierarchy, exponential_series, genetic_code, geometric_progression, harmonic_progression, hierarchy, in_turn, item, line_of_march, line_of_succession, order, ordering, ordination, patterned_advance, progression, round, row, sequence, sequentially, serial, serially, seriatim, sorted, string, successively, topical, unsorted

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1952-1956
No TPTP formula. May not be expressible in strict first order. Merge.kif 2877-2884
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 584-588
No TPTP formula. May not be expressible in strict first order. Merge.kif 2875-2875 List is a subclass of abstract

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2917-2917 Null list is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 7580-7580 The range of Amounts fn is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3074-3074 The range of list concatenate is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 2935-2935 The range of list is an instance of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1995-1995 The range of mean three second wind speed list is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3164-3164 The range of sub-list function is an instance of list
No TPTP formula. May not be expressible in strict first order. Music.kif 49-49 Album is a subclass of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1927-1927 Consecutive time interval list is a subclass of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1714-1714 Measuring list is a subclass of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1782-1782 Measuring result list is a subclass of list
No TPTP formula. May not be expressible in strict first order. Music.kif 1119-1119 Music charts is a subclass of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1817-1817 Number list is a subclass of list
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2477-2477 Search results is a subclass of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 2903-2903 Unique list is a subclass of list
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 913-913
No TPTP formula. May not be expressible in strict first order. english_format.kif 1033-1033
No TPTP formula. May not be expressible in strict first order. french_format.kif 589-589
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 119-119
No TPTP formula. May not be expressible in strict first order. terms-it.txt 122-122
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2274-2274
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 541-541
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 124-124
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 156-156
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 610-610

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3271-3271 The number 1 argument of average function is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3226-3226 The number 1 argument of first is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3206-3206 The number 1 argument of last is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3072-3072 The number 1 argument of list concatenate is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3073-3073 The number 2 argument of list concatenate is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3014-3014 The number 1 argument of list length is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 2977-2977 The number 1 argument of list order is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3240-3240 The number 1 argument of sum of elements is an instance of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1681-1681 The number 1 argument of maximum value is an instance of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1503-1503 The number 1 argument of standard deviation is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3163-3163 The number 3 argument of sub-list function is an instance of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1447-1447 The number 2 argument of variance average function is an instance of list
No TPTP formula. May not be expressible in strict first order. Weather.kif 1470-1470 The number 1 argument of variance function is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 5360-5360 The number 1 argument of average is an instance of list
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1296-1296 The number 2 argument of command line arguments is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3320-3320 The number 1 argument of identical list items is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3321-3321 The number 2 argument of identical list items is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3107-3107 The number 2 argument of in list is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3120-3120 The number 1 argument of sub list is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3121-3121 The number 2 argument of sub list is an instance of list
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 763-763 The number 2 argument of list of viewed items is an instance of list

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3232-3237

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


No TPTP formula. May not be expressible in strict first order. People.kif 383-416 A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 429-462 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 336-368 A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2035-2053


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 is open source software produced by Articulate Software and its partners