List - Sigma Knowledge base Browser

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

If a list is an instance of list and the list is not equal to null list,
then the first of the list is equal to 1th element of the list

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 if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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 if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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 if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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	If a process is an instance of shuttle, then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of automobile and the list is an instance of list and for all an entity if the entity is a member of the list, then the entity is an instance of PostalPlace and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at the entity

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

KB Term:			Term intersection

English Word: