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 2870-2873
No TPTP formula. May not be expressible in strict first order. Merge.kif 2866-2866 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 2867-2867 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 2864-2864 List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2865-2865 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2868-2868 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 271-271
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 34612-34612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34611-34611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34610-34610

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17066-17071
No TPTP formula. May not be expressible in strict first order. Merge.kif 17051-17056
No TPTP formula. May not be expressible in strict first order. Merge.kif 17081-17086
No TPTP formula. May not be expressible in strict first order. Merge.kif 3130-3134
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. Merge.kif 17036-17041
No TPTP formula. May not be expressible in strict first order. Merge.kif 17021-17026
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 985-1003

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2972-2988 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. Merge.kif 2111-2128 A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and
No TPTP formula. May not be expressible in strict first order. People.kif 285-306 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 3100-3105 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 2887-2892
No TPTP formula. May not be expressible in strict first order. Merge.kif 2894-2899
No TPTP formula. May not be expressible in strict first order. Merge.kif 3136-3140
No TPTP formula. May not be expressible in strict first order. Merge.kif 3067-3076
No TPTP formula. May not be expressible in strict first order. Merge.kif 3078-3090
No TPTP formula. May not be expressible in strict first order. Weather.kif 1089-1100
No TPTP formula. May not be expressible in strict first order. Weather.kif 1058-1070
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 3115-3120
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2593-2609
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 475-485
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 520-532
No TPTP formula. May not be expressible in strict first order. Merge.kif 534-544
No TPTP formula. May not be expressible in strict first order. Merge.kif 3001-3004
No TPTP formula. May not be expressible in strict first order. Merge.kif 2799-2804

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