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 2953-2956
No TPTP formula. May not be expressible in strict first order. Merge.kif 2950-2950 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 2949-2949 List length is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2948-2948 List length is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2951-2951 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. domainEnglishFormat.kif 34674-34674
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 34673-34673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34672-34672

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3155-3159
No TPTP formula. May not be expressible in strict first order. Merge.kif 3214-3221
No TPTP formula. May not be expressible in strict first order. Merge.kif 3189-3193
No TPTP formula. May not be expressible in strict first order. Merge.kif 3195-3205
No TPTP formula. May not be expressible in strict first order. Merge.kif 3019-3038
No TPTP formula. May not be expressible in strict first order. Weather.kif 1485-1496
No TPTP formula. May not be expressible in strict first order. Weather.kif 1452-1464

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 383-416 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 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 429-462 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 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 336-368 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 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 298-319 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 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. Merge.kif 3214-3221
No TPTP formula. May not be expressible in strict first order. Merge.kif 3195-3205
No TPTP formula. May not be expressible in strict first order. Merge.kif 3019-3038
No TPTP formula. May not be expressible in strict first order. Weather.kif 1474-1483
No TPTP formula. May not be expressible in strict first order. Weather.kif 1452-1464
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3930-3948
No TPTP formula. May not be expressible in strict first order. Merge.kif 2984-2991
No TPTP formula. May not be expressible in strict first order. Merge.kif 3148-3153
No TPTP formula. May not be expressible in strict first order. Weather.kif 2222-2239
No TPTP formula. May not be expressible in strict first order. Weather.kif 2327-2344
No TPTP formula. May not be expressible in strict first order. Weather.kif 2292-2309
No TPTP formula. May not be expressible in strict first order. Weather.kif 2257-2274
No TPTP formula. May not be expressible in strict first order. Weather.kif 1903-1920

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2973-2976 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 2978-2982 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