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

Formal Language: 


KB Term:  Term intersection
English Word: 

  ListOrderFn

Sigma KEE - ListOrderFn
ListOrderFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1964-1966
No TPTP formula. May not be expressible in strict first order. Merge.kif 2994-2997
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 596-598
No TPTP formula. May not be expressible in strict first order. Merge.kif 2990-2990 The number 1 argument of list order is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 2991-2991 The number 2 argument of list order is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 2988-2988 List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2989-2989 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2992-2992 The range of list order is an instance of entity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 263-263
No TPTP formula. May not be expressible in strict first order. english_format.kif 268-268
No TPTP formula. May not be expressible in strict first order. french_format.kif 150-150
No TPTP formula. May not be expressible in strict first order. relations-it.txt 169-169
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1978-1978
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 102-102
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 159-159
No TPTP formula. May not be expressible in strict first order. relations-de.txt 338-338
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 207-207
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 169-169
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 156-156
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 337-337
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 264-264
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34708-34708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34707-34707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34706-34706
No TPTP formula. May not be expressible in strict first order. terms-de.txt 108-108
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 338-338

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 469-477
No TPTP formula. May not be expressible in strict first order. Merge.kif 18633-18638
No TPTP formula. May not be expressible in strict first order. Merge.kif 18616-18621
No TPTP formula. May not be expressible in strict first order. Merge.kif 18650-18655
No TPTP formula. May not be expressible in strict first order. Merge.kif 3232-3236
No TPTP formula. May not be expressible in strict first order. Weather.kif 2562-2569
No TPTP formula. May not be expressible in strict first order. Media.kif 2108-2115
No TPTP formula. May not be expressible in strict first order. Media.kif 2095-2105
No TPTP formula. May not be expressible in strict first order. Geography.kif 597-601
No TPTP formula. May not be expressible in strict first order. Geography.kif 637-644
No TPTP formula. May not be expressible in strict first order. Weather.kif 2659-2668
No TPTP formula. May not be expressible in strict first order. Weather.kif 2530-2535
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 803-819
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 799-817

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


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 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 3011-3016
No TPTP formula. May not be expressible in strict first order. Merge.kif 3018-3023
No TPTP formula. May not be expressible in strict first order. Merge.kif 3265-3269
No TPTP formula. May not be expressible in strict first order. Merge.kif 289-296
No TPTP formula. May not be expressible in strict first order. Merge.kif 3096-3115
No TPTP formula. May not be expressible in strict first order. Merge.kif 3192-3201
No TPTP formula. May not be expressible in strict first order. Merge.kif 3203-3215
No TPTP formula. May not be expressible in strict first order. Weather.kif 2211-2222
No TPTP formula. May not be expressible in strict first order. Weather.kif 2178-2190
No TPTP formula. May not be expressible in strict first order. Media.kif 2095-2105
No TPTP formula. May not be expressible in strict first order. Media.kif 2077-2092
No TPTP formula. May not be expressible in strict first order. Media.kif 2139-2152
No TPTP formula. May not be expressible in strict first order. Merge.kif 3245-3250
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2388-2404
No TPTP formula. May not be expressible in strict first order. Media.kif 2212-2225
No TPTP formula. May not be expressible in strict first order. Media.kif 2176-2189
No TPTP formula. May not be expressible in strict first order. Merge.kif 3225-3230
No TPTP formula. May not be expressible in strict first order. Media.kif 2127-2136
No TPTP formula. May not be expressible in strict first order. Merge.kif 512-524
No TPTP formula. May not be expressible in strict first order. Merge.kif 3126-3129
No TPTP formula. May not be expressible in strict first order. Merge.kif 2923-2928
No TPTP formula. May not be expressible in strict first order. Media.kif 2200-2209
No TPTP formula. May not be expressible in strict first order. Media.kif 2163-2172

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


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 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