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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ListFn
ListFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3110-3111
No TPTP formula. May not be expressible in strict first order. Merge.kif 3108-3109
No TPTP formula. May not be expressible in strict first order. Merge.kif 3105-3105 The number 1 argument of list is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3103-3103 List is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3104-3104 List is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3107-3107 The range of list is an instance of list

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 261-261
No TPTP formula. May not be expressible in strict first order. english_format.kif 159-159
No TPTP formula. May not be expressible in strict first order. french_format.kif 149-149
No TPTP formula. May not be expressible in strict first order. relations-it.txt 167-167
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 101-101
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 97-97
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 158-158
No TPTP formula. May not be expressible in strict first order. relations-de.txt 336-336
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 206-206
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 333-333
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 262-262 "表列函数" is the printable form of list in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6199-6199 "list" is the printable form of list in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 547-547 "«قائمة»" is the printable form of list in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 334-334 "tungkulin ng talaan" is the printable form of list in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 520-524
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 2836-2841
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. Merge.kif 17099-17107
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 692-700

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. 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. 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 3225-3232
No TPTP formula. May not be expressible in strict first order. Merge.kif 514-518
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 3123-3128
No TPTP formula. May not be expressible in strict first order. Merge.kif 3130-3139
No TPTP formula. May not be expressible in strict first order. Merge.kif 614-618
No TPTP formula. May not be expressible in strict first order. Merge.kif 4983-4988
No TPTP formula. May not be expressible in strict first order. Merge.kif 4990-4995
No TPTP formula. May not be expressible in strict first order. Merge.kif 4997-5005
No TPTP formula. May not be expressible in strict first order. Merge.kif 5062-5067
No TPTP formula. May not be expressible in strict first order. Merge.kif 5069-5074
No TPTP formula. May not be expressible in strict first order. Merge.kif 5076-5084
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 552-556
No TPTP formula. May not be expressible in strict first order. Merge.kif 558-566

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 3214-3217 For all @ROW and another entity length of (@ROW and the other entity) is equal to (length of (@ROW)+1)
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
No TPTP formula. May not be expressible in strict first order. Merge.kif 3372-3373 For all @ROW and another entity (@ROW) starts (@ROW and 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