Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ListLengthFn

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 3017-3020
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 3014-3014 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 3013-3013 List length is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3012-3012 List length is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3015-3015 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 34691-34691
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 34690-34690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34689-34689
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 3219-3223
No TPTP formula. May not be expressible in strict first order. Merge.kif 3277-3284
No TPTP formula. May not be expressible in strict first order. Merge.kif 3252-3256
No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. Weather.kif 1486-1497
No TPTP formula. May not be expressible in strict first order. Weather.kif 1453-1465

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 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 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 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 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 3277-3284
No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. Weather.kif 1475-1484
No TPTP formula. May not be expressible in strict first order. Weather.kif 1453-1465
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3721-3739
No TPTP formula. May not be expressible in strict first order. Merge.kif 3048-3055
No TPTP formula. May not be expressible in strict first order. Merge.kif 3212-3217
No TPTP formula. May not be expressible in strict first order. Weather.kif 2223-2240
No TPTP formula. May not be expressible in strict first order. Weather.kif 2328-2345
No TPTP formula. May not be expressible in strict first order. Weather.kif 2293-2310
No TPTP formula. May not be expressible in strict first order. Weather.kif 2258-2275
No TPTP formula. May not be expressible in strict first order. Weather.kif 1904-1921

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3037-3040 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 3042-3046 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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