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 2917-2920
No TPTP formula. May not be expressible in strict first order. Merge.kif 2914-2914 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 2913-2913 List length is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2912-2912 List length is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2915-2915 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 3170-3177
No TPTP formula. May not be expressible in strict first order. Merge.kif 3145-3149
No TPTP formula. May not be expressible in strict first order. Merge.kif 3151-3161
No TPTP formula. May not be expressible in strict first order. Weather.kif 1487-1498
No TPTP formula. May not be expressible in strict first order. Weather.kif 1454-1466

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2983-2999 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 if and only if for all a positive integer and another positive integer
No TPTP formula. May not be expressible in strict first order. People.kif 289-310 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. People.kif 415-446 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3109-3114 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 327-357 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 371-402 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 and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3170-3177
No TPTP formula. May not be expressible in strict first order. Merge.kif 3151-3161
No TPTP formula. May not be expressible in strict first order. Weather.kif 1476-1485
No TPTP formula. May not be expressible in strict first order. Weather.kif 1454-1466
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3928-3946
No TPTP formula. May not be expressible in strict first order. Merge.kif 2948-2955
No TPTP formula. May not be expressible in strict first order. Weather.kif 2218-2235
No TPTP formula. May not be expressible in strict first order. Weather.kif 2323-2340
No TPTP formula. May not be expressible in strict first order. Weather.kif 2288-2305
No TPTP formula. May not be expressible in strict first order. Weather.kif 2253-2270
No TPTP formula. May not be expressible in strict first order. Weather.kif 1905-1922

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2937-2940 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 2942-2946 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