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. chinese_format.kif 1962-1963
No TPTP formula. May not be expressible in strict first order. Merge.kif 2950-2951
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 594-595
No TPTP formula. May not be expressible in strict first order. Merge.kif 2946-2946 The number 1 argument of list is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2944-2944 List is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2945-2945 List is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2948-2948 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 266-266
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. japanese_format.kif 1977-1977
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. 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-ro.kif 168-168
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 155-155
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. domainEnglishFormat.kif 34696-34696
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 262-262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34695-34695
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34694-34694
No TPTP formula. May not be expressible in strict first order. terms-de.txt 107-107
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 334-334

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 469-477
No TPTP formula. May not be expressible in strict first order. Merge.kif 463-467
No TPTP formula. May not be expressible in strict first order. Merge.kif 18633-18638
No TPTP formula. May not be expressible in strict first order. Merge.kif 18616-18621
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 289-296
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. Merge.kif 496-500
No TPTP formula. May not be expressible in strict first order. Merge.kif 490-494
No TPTP formula. May not be expressible in strict first order. Geography.kif 597-601
No TPTP formula. May not be expressible in strict first order. Geography.kif 637-644
No TPTP formula. May not be expressible in strict first order. Merge.kif 2688-2693
No TPTP formula. May not be expressible in strict first order. Merge.kif 17096-17104
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 803-819

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3011-3016
No TPTP formula. May not be expressible in strict first order. Merge.kif 3018-3023
No TPTP formula. May not be expressible in strict first order. Merge.kif 4889-4900
No TPTP formula. May not be expressible in strict first order. Merge.kif 4902-4916
No TPTP formula. May not be expressible in strict first order. Merge.kif 4974-4984
No TPTP formula. May not be expressible in strict first order. Merge.kif 4986-5000
No TPTP formula. May not be expressible in strict first order. Merge.kif 289-296
No TPTP formula. May not be expressible in strict first order. Merge.kif 3192-3201
No TPTP formula. May not be expressible in strict first order. Merge.kif 3203-3215
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 2139-2152
No TPTP formula. May not be expressible in strict first order. Media.kif 2212-2225
No TPTP formula. May not be expressible in strict first order. Media.kif 2176-2189
No TPTP formula. May not be expressible in strict first order. Merge.kif 3061-3068
No TPTP formula. May not be expressible in strict first order. Merge.kif 457-461
No TPTP formula. May not be expressible in strict first order. Merge.kif 2963-2968
No TPTP formula. May not be expressible in strict first order. Merge.kif 2970-2979
No TPTP formula. May not be expressible in strict first order. Merge.kif 567-571
No TPTP formula. May not be expressible in strict first order. Merge.kif 4882-4887
No TPTP formula. May not be expressible in strict first order. Merge.kif 4967-4972
No TPTP formula. May not be expressible in strict first order. Media.kif 2127-2136
No TPTP formula. May not be expressible in strict first order. Merge.kif 512-524
No TPTP formula. May not be expressible in strict first order. Merge.kif 502-510
No TPTP formula. May not be expressible in strict first order. Merge.kif 2953-2961

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 3050-3053 For all @ROW and another entity equal length of (@ROW and the other entity) and (length of (@ROW)+1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 3055-3059 For all @ROW and another entity equal length of (@ROW and the other entity)th element of (@ROW and the other entity) and the other entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3330-3331 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 3.0 is open source software produced by Articulate Software and its partners