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 3030-3033
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 3027-3027	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 3026-3026	List length is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3025-3025	List length is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3028-3028	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 34702-34702
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 34701-34701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34700-34700
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 3232-3236	If equal length of a list and a positive integer and equal the positive integerth element of the list and another entity, then equal the last of the list and the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3290-3297	If equal a real number and the average of the numbers in a list and length of the list is greater than 0, then equal the real number and the sum of the list and length of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3265-3269	If equal a real number and the sum of a list and equal 1 and length of the list, then equal the real number and 1th element of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3271-3281	If equal a real number and the sum of a list and length of the list is greater than 1, then equal the real number and (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 3096-3115	If equal a list and the list composed of another list and a third list and equal the other list and null list and equal the third list and 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 equal the positive integerth element of the list and the positive integerth element of the other list and equal (length of the other list and the other positive integer)th element of the list and the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2172-2183	If equal a real number and VarianceAverageFn of a list with the mean of another real number and equal 1 and length of the list, then equal the real number and (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 2139-2151	If equal a real number and VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then equal the real number and (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 equal the male life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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 equal the female life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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 equal the life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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 equal length of the other list and length of the list and equal 1th element of the other list and 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 equal the other positive integerth element of the other list and the other real number and the third positive integer is a member of the list and equal the other real number and the third positive integerth element of the list and the fourth positive integer is a member of the other list and equal the other real numberMINUSONE and (the other real number and 1) and equal the other real numberMINUSONE and the fourth positive integerth element of the other list and equal the other positive integer and (the third positive integer and the fourth positive integer) and equal the positive integer and length of the other list and equal the real number and 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 3290-3297	If equal a real number and the average of the numbers in a list and length of the list is greater than 0, then equal the real number and the sum of the list and length of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3271-3281	If equal a real number and the sum of a list and length of the list is greater than 1, then equal the real number and (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 3096-3115	If equal a list and the list composed of another list and a third list and equal the other list and null list and equal the third list and 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 equal the positive integerth element of the list and the positive integerth element of the other list and equal (length of the other list and the other positive integer)th element of the list and the other positive integerth element of the third list
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2161-2170	If equal a real number and The VarianceFn a list and equal another real number and the average of the numbers in the list, then equal the real number and 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 2139-2151	If equal a real number and VarianceAverageFn of a list with the mean of a number and length of the list is greater than 1, then equal the real number and (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 equal the number of instances in the class described by a symbolic string and length of the list and qualifying clicks on the search results page
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3061-3068	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 equal length of (@ROW) and the positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3225-3230	If equal the last of a list and an entity, then there exists a positive integer such that equal length of the list and the positive integer and equal the positive integerth element of the list and the entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2908-2925	If equal a function quantity and 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 equal 120 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and 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 3013-3030	If equal a function quantity and 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 equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and 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 2978-2995	If equal a function quantity and 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 equal 24 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and 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 2943-2960	If equal a function quantity and 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 equal 36 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and 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 2589-2606	If equal a function quantity and 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 equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and 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 3050-3053	For all @ROW and another entity equal length of (@ROW and the other entity) and (length of (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3055-3059	For all @ROW and another entity equal length of (@ROW and the other entity)th element of (@ROW and the other entity) and 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