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 2881-2884
No TPTP formula. May not be expressible in strict first order. Merge.kif 2877-2877 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 2878-2878 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 2875-2875 List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2876-2876 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2879-2879 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 17810-17815
No TPTP formula. May not be expressible in strict first order. Merge.kif 17793-17798
No TPTP formula. May not be expressible in strict first order. Merge.kif 17827-17832
No TPTP formula. May not be expressible in strict first order. Weather.kif 1839-1846
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 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 1807-1812
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. 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. 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. Merge.kif 2898-2903
No TPTP formula. May not be expressible in strict first order. Merge.kif 2905-2910
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 3076-3085
No TPTP formula. May not be expressible in strict first order. Merge.kif 3087-3099
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
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 2134-2147
No TPTP formula. May not be expressible in strict first order. Merge.kif 3124-3129
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 2205-2218
No TPTP formula. May not be expressible in strict first order. Media.kif 2170-2183
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 293-300
No TPTP formula. May not be expressible in strict first order. Media.kif 2123-2131
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 3010-3013
No TPTP formula. May not be expressible in strict first order. Weather.kif 1936-1945
No TPTP formula. May not be expressible in strict first order. Merge.kif 2810-2815
No TPTP formula. May not be expressible in strict first order. Media.kif 2194-2202

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