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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2917-2920
No TPTP formula. May not be expressible in strict first order. Merge.kif 2913-2913 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 2914-2914 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 2911-2911 List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2912-2912 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2915-2915 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 3155-3159
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 2092-2099
No TPTP formula. May not be expressible in strict first order. Media.kif 2079-2089
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 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 2934-2939
No TPTP formula. May not be expressible in strict first order. Merge.kif 2941-2946
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 3019-3038
No TPTP formula. May not be expressible in strict first order. Merge.kif 3115-3124
No TPTP formula. May not be expressible in strict first order. Merge.kif 3126-3138
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 2079-2089
No TPTP formula. May not be expressible in strict first order. Media.kif 2061-2076
No TPTP formula. May not be expressible in strict first order. Media.kif 2123-2136
No TPTP formula. May not be expressible in strict first order. Merge.kif 3168-3173
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 2196-2209
No TPTP formula. May not be expressible in strict first order. Media.kif 2160-2173
No TPTP formula. May not be expressible in strict first order. Merge.kif 476-486
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. Merge.kif 295-302
No TPTP formula. May not be expressible in strict first order. Media.kif 2111-2120
No TPTP formula. May not be expressible in strict first order. Merge.kif 521-533
No TPTP formula. May not be expressible in strict first order. Merge.kif 3049-3052
No TPTP formula. May not be expressible in strict first order. Merge.kif 2846-2851
No TPTP formula. May not be expressible in strict first order. Media.kif 2184-2193
No TPTP formula. May not be expressible in strict first order. Media.kif 2147-2156

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 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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