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, list, 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 2766-2773
No TPTP formula. May not be expressible in strict first order. Merge.kif 2764-2764 List is a subclass of relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2806-2806 Null list is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 2963-2963 The range of list concatenate is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 2824-2824 The range of list 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. Music.kif 1111-1111 Music charts is a subclass of list
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2674-2674 Search results is a subclass of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 2792-2792 Unique list is a subclass of list
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 913-913 "串列" is the printable form of list in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1038-1038 "list" is the printable form of list in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6353-6353 The number 1 argument of first is an instance of list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6339-6339 The number 1 argument of last is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 2961-2961 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 2962-2962 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 2903-2903 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 2866-2866 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 4947-4947 The number 1 argument of average is an instance of list
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1301-1301 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 3077-3077 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 3078-3078 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 2996-2996 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 3009-3009 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 3010-3010 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 948-948 The number 2 argument of list of viewed items is an instance of list

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2068-2068 Relation is exhaustively partitioned into predicate, function, and list

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6359-6364

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


No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 1983-2001


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners