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. Merge.kif 3157-3159
No TPTP formula. May not be expressible in strict first order. Merge.kif 3153-3156
No TPTP formula. May not be expressible in strict first order. Merge.kif 3150-3150 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 3151-3151 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 3148-3148 List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3149-3149 List order is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3152-3152 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 160-160
No TPTP formula. May not be expressible in strict first order. french_format.kif 150-150
No TPTP formula. May not be expressible in strict first order. relations-it.txt 169-169
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 102-102
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 98-98
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 159-159
No TPTP formula. May not be expressible in strict first order. relations-de.txt 338-338
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 207-207
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 337-337
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 264-264 "找出表列顺序的函数" is the printable form of list order in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6201-6201 "list order" is the printable form of list order in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 548-548 "«عُنْصُر من»" is the printable form of list order in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 338-338 "tungkulin ng talaan utos1" is the printable form of list order in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18693-18698
No TPTP formula. May not be expressible in strict first order. Merge.kif 18679-18684
No TPTP formula. May not be expressible in strict first order. Merge.kif 18707-18712
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-471
No TPTP formula. May not be expressible in strict first order. Merge.kif 18664-18669
No TPTP formula. May not be expressible in strict first order. Merge.kif 18650-18655
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 692-700
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 990-1006

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2308-2325 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. Mid-level-ontology.kif 6342-6347 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 3173-3178
No TPTP formula. May not be expressible in strict first order. Merge.kif 3180-3185
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. Mid-level-ontology.kif 6356-6361
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2596-2612
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 526-536
No TPTP formula. May not be expressible in strict first order. Merge.kif 326-333
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 568-580
No TPTP formula. May not be expressible in strict first order. Merge.kif 3294-3297
No TPTP formula. May not be expressible in strict first order. Merge.kif 3081-3086
No TPTP formula. May not be expressible in strict first order. Media.kif 2194-2202
No TPTP formula. May not be expressible in strict first order. Media.kif 2158-2166

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3219-3223 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners