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 2909-2912
No TPTP formula. May not be expressible in strict first order. Merge.kif 2905-2905 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 2906-2906 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 2903-2903 List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2904-2904 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2907-2907 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. chinese_format.kif 264-264
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34680-34680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34679-34679
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34678-34678

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18179-18184
No TPTP formula. May not be expressible in strict first order. Merge.kif 18162-18167
No TPTP formula. May not be expressible in strict first order. Merge.kif 18196-18201
No TPTP formula. May not be expressible in strict first order. Merge.kif 3147-3151
No TPTP formula. May not be expressible in strict first order. Weather.kif 1837-1844
No TPTP formula. May not be expressible in strict first order. Media.kif 2104-2111
No TPTP formula. May not be expressible in strict first order. Media.kif 2091-2101
No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431
No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474
No TPTP formula. May not be expressible in strict first order. Weather.kif 1934-1943
No TPTP formula. May not be expressible in strict first order. Weather.kif 1805-1810
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 692-708
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 989-1007

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


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. Merge.kif 2926-2931
No TPTP formula. May not be expressible in strict first order. Merge.kif 2933-2938
No TPTP formula. May not be expressible in strict first order. Merge.kif 3181-3185
No TPTP formula. May not be expressible in strict first order. Merge.kif 3011-3030
No TPTP formula. May not be expressible in strict first order. Merge.kif 3107-3116
No TPTP formula. May not be expressible in strict first order. Merge.kif 3118-3130
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
No TPTP formula. May not be expressible in strict first order. Media.kif 2091-2101
No TPTP formula. May not be expressible in strict first order. Media.kif 2073-2088
No TPTP formula. May not be expressible in strict first order. Media.kif 2130-2143
No TPTP formula. May not be expressible in strict first order. Merge.kif 3160-3165
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2598-2614
No TPTP formula. May not be expressible in strict first order. Media.kif 2201-2214
No TPTP formula. May not be expressible in strict first order. Media.kif 2166-2179
No TPTP formula. May not be expressible in strict first order. Merge.kif 474-484
No TPTP formula. May not be expressible in strict first order. Merge.kif 3140-3145
No TPTP formula. May not be expressible in strict first order. Merge.kif 293-300
No TPTP formula. May not be expressible in strict first order. Media.kif 2119-2127
No TPTP formula. May not be expressible in strict first order. Merge.kif 519-531
No TPTP formula. May not be expressible in strict first order. Merge.kif 3041-3044
No TPTP formula. May not be expressible in strict first order. Merge.kif 2838-2843
No TPTP formula. May not be expressible in strict first order. Media.kif 2190-2198
No TPTP formula. May not be expressible in strict first order. Media.kif 2154-2162

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2970-2974 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