ListLengthFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ListLengthFn

ListLengthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4802-4804
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4797-4800
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4806-4808
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4794-4794	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 4793-4793	List length is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4792-4792	List length is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4795-4795	The range of list length is an instance of nonnegative integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order.	english_format.kif 377-377
No TPTP formula. May not be expressible in strict first order.	english_format.kif 378-378
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34603-34603	"列表长度" is the printable form of list length in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 266-266	"找出表列长度的函数" is the printable form of list length in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34602-34602	"列表長度" is the printable form of list length in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34601-34601	"list length" is the printable form of list length in english language

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 285-306	A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer if the positive integer is a member of the other list, then there exist a quantity, the quantityMINUSONE,, , another positive integer and a third positive integer such that the quantity is greater than 1 and the quantity is less than or equal to length of the other list and the positive integerth element of the other list is equal to the quantity and the other positive integer is a member of the list and the quantity is equal to the other positive integerth element of the list and the third positive integer is a member of the other list and the quantityMINUSONE is equal to (the quantity and 1) and the quantityMINUSONE is equal to the third positive integerth element of the other list and the positive integer is equal to (the other positive integer and the third positive integer) and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer
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.	Mid-level-ontology.kif 6347-6352	The last of a list is equal to an entity if and only if there exists a positive integer such that length of the list is equal to the positive integer and the positive integerth element of the list is equal to the entity
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.	UXExperimentalTerms.kif 3916-3934	If a SRP is an instance of search results page and a list is an instance of search results and the list is a component of the SRP, then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the SRP
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4836-4843	If a relation %&has a positive integer argument(s) and the relation is an instance of predicate, then for all @ROW if the relation @ROW, then length of (@ROW) is equal to the positive integer

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4825-4828	For all @ROW and another entity length of (@ROW and the other entity) is equal to (length of (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4830-4834	For all @ROW and another entity length of (@ROW and the other entity)th element of (@ROW and the other entity) is equal to the other 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