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 2940-2943
No TPTP formula. May not be expressible in strict first order. Merge.kif 2936-2936 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 2937-2937 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 2934-2934 List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2935-2935 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2938-2938 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 34679-34679
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34678-34678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34677-34677

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18286-18291
No TPTP formula. May not be expressible in strict first order. Merge.kif 18269-18274
No TPTP formula. May not be expressible in strict first order. Merge.kif 18303-18308
No TPTP formula. May not be expressible in strict first order. Merge.kif 3178-3182
No TPTP formula. May not be expressible in strict first order. Weather.kif 1838-1845
No TPTP formula. May not be expressible in strict first order. Media.kif 2106-2113
No TPTP formula. May not be expressible in strict first order. Media.kif 2093-2103
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 1935-1944
No TPTP formula. May not be expressible in strict first order. Weather.kif 1806-1811
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 694-710
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 exist another list and a positive integer 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 another positive integer and the positive integer is equal to length of the other list and the real number is equal to 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 2957-2962
No TPTP formula. May not be expressible in strict first order. Merge.kif 2964-2969
No TPTP formula. May not be expressible in strict first order. Merge.kif 3211-3215
No TPTP formula. May not be expressible in strict first order. Merge.kif 3042-3061
No TPTP formula. May not be expressible in strict first order. Merge.kif 3138-3147
No TPTP formula. May not be expressible in strict first order. Merge.kif 3149-3161
No TPTP formula. May not be expressible in strict first order. Weather.kif 1486-1497
No TPTP formula. May not be expressible in strict first order. Weather.kif 1453-1465
No TPTP formula. May not be expressible in strict first order. Media.kif 2093-2103
No TPTP formula. May not be expressible in strict first order. Media.kif 2075-2090
No TPTP formula. May not be expressible in strict first order. Media.kif 2137-2150
No TPTP formula. May not be expressible in strict first order. Merge.kif 3191-3196
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. Media.kif 2210-2223
No TPTP formula. May not be expressible in strict first order. Media.kif 2174-2187
No TPTP formula. May not be expressible in strict first order. Merge.kif 477-489
No TPTP formula. May not be expressible in strict first order. Merge.kif 3171-3176
No TPTP formula. May not be expressible in strict first order. Merge.kif 295-303
No TPTP formula. May not be expressible in strict first order. Media.kif 2125-2134
No TPTP formula. May not be expressible in strict first order. Merge.kif 524-536
No TPTP formula. May not be expressible in strict first order. Merge.kif 3072-3075
No TPTP formula. May not be expressible in strict first order. Merge.kif 2869-2874
No TPTP formula. May not be expressible in strict first order. Media.kif 2198-2207
No TPTP formula. May not be expressible in strict first order. Media.kif 2161-2170

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