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.	chinese_format.kif 1967-1969
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3018-3021
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 599-601
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3015-3015	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 3014-3014	List length is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3013-3013	List length is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3016-3016	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 270-270
No TPTP formula. May not be expressible in strict first order.	french_format.kif 151-151
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 168-168
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1979-1979
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 341-341
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 170-170
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 157-157
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 335-335
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34720-34720
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 266-266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34719-34719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34718-34718
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 336-336

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3220-3224	If length of a list is equal to a positive integer and the positive integerth element of the list is equal to another entity, then the last of the list is equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3278-3285	If a real number is equal to the average of the numbers in a list and length of the list is greater than 0, then the real number is equal to the sum of the list and length of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3253-3257	If a real number is equal to the sum of a list and 1 is equal to length of the list, then the real number is equal to 1th element of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3259-3269	If a real number is equal to the sum of a list and length of the list is greater than 1, then the real number is equal to (the first of the list and the sum of the sub-list from 2 to length of the list of the list)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3084-3103	If a list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list and a positive integer is less than or equal to length of the other list and another positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer, then the positive integerth element of the list is equal to the positive integerth element of the other list and (length of the other list and the other positive integer)th element of the list is equal to the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1470-1481	If a real number is equal to VarianceAverageFn of a list with the mean of another real number and 1 is equal to length of the list, then the real number is equal to (the other real number and 1th element of the list) and (the other real number and 1th element of the list)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1437-1449	If a real number is equal to VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then the real number is equal to (VarianceAverageFn of 1th element of the list with the mean of the number and VarianceAverageFn of the sub-list from 2 to length of the list of the list with the mean of the number)

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	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 if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 403-436	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 if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 310-342	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 if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 272-293	A real number is an average of a list if and only if there exist another list and a positive integer 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 another positive integer if the other positive integer is a member of the other list, then there exist another real number, the other real numberMINUSONE,, , a third positive integer and a fourth positive integer such that the other real number is greater than 1 and the other real number is less than or equal to length of the other list and the other positive integerth element of the other list is equal to the other real number and the third positive integer is a member of the list and the other real number is equal to the third positive integerth element of the list and the fourth positive integer is a member of the other list and the other real numberMINUSONE is equal to (the other real number and 1) and the other real numberMINUSONE is equal to the fourth positive integerth element of the other list and the other positive integer is equal to (the third positive integer and the fourth positive integer) and the positive integer is equal to length of the other list and the real number is equal to the positive integerth element of the other list and the positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3278-3285	If a real number is equal to the average of the numbers in a list and length of the list is greater than 0, then the real number is equal to the sum of the list and length of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3259-3269	If a real number is equal to the sum of a list and length of the list is greater than 1, then the real number is equal to (the first of the list and the sum of the sub-list from 2 to length of the list of the list)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3084-3103	If a list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list and a positive integer is less than or equal to length of the other list and another positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer, then the positive integerth element of the list is equal to the positive integerth element of the other list and (length of the other list and the other positive integer)th element of the list is equal to the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1459-1468	If a real number is equal to The VarianceFn a list and another real number is equal to the average of the numbers in the list, then the real number is equal to VarianceAverageFn of the list with the mean of the other real number and length of the list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1437-1449	If a real number is equal to VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then the real number is equal to (VarianceAverageFn of 1th element of the list with the mean of the number and VarianceAverageFn of the sub-list from 2 to length of the list of the list with the mean of the number)
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, 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 search results page
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3049-3056	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3213-3218	If the last of a list is equal to an entity, then 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.	Weather.kif 2206-2223	If a function quantity is equal to Mean10MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 10 minute duration(s). and 120 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2311-2328	If a function quantity is equal to Mean1MinuteWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 1 minute duration(s). and 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2276-2293	If a function quantity is equal to Mean2MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and 24 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2241-2258	If a function quantity is equal to Mean3MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and 36 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1887-1904	If a function quantity is equal to Mean3SecondWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 0.25 second duration(s) interval. and The Measuring for list the entity takes 3 second duration(s). and 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3038-3041	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 3043-3047	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 3.0 is open source software produced by Articulate Software and its partners