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 2937-2938
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 2933-2933 The number 1 argument of list is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2931-2931 List is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2932-2932 List is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2935-2935 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 34685-34685
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 34684-34684
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34683-34683
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 476-484
No TPTP formula. May not be expressible in strict first order. Merge.kif 470-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 18446-18451
No TPTP formula. May not be expressible in strict first order. Merge.kif 18429-18434
No TPTP formula. May not be expressible in strict first order. Merge.kif 18463-18468
No TPTP formula. May not be expressible in strict first order. Merge.kif 295-302
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. Merge.kif 503-507
No TPTP formula. May not be expressible in strict first order. Merge.kif 497-501
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 2677-2682
No TPTP formula. May not be expressible in strict first order. Merge.kif 16921-16929
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 694-710

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2998-3003
No TPTP formula. May not be expressible in strict first order. Merge.kif 3005-3010
No TPTP formula. May not be expressible in strict first order. Merge.kif 4861-4872
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4888
No TPTP formula. May not be expressible in strict first order. Merge.kif 4946-4956
No TPTP formula. May not be expressible in strict first order. Merge.kif 4958-4972
No TPTP formula. May not be expressible in strict first order. Merge.kif 295-302
No TPTP formula. May not be expressible in strict first order. Merge.kif 3179-3188
No TPTP formula. May not be expressible in strict first order. Merge.kif 3190-3202
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. 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 3048-3055
No TPTP formula. May not be expressible in strict first order. Merge.kif 464-468
No TPTP formula. May not be expressible in strict first order. Merge.kif 2950-2955
No TPTP formula. May not be expressible in strict first order. Merge.kif 2957-2966
No TPTP formula. May not be expressible in strict first order. Merge.kif 574-578
No TPTP formula. May not be expressible in strict first order. Merge.kif 4854-4859
No TPTP formula. May not be expressible in strict first order. Merge.kif 4939-4944
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 519-531
No TPTP formula. May not be expressible in strict first order. Merge.kif 509-517
No TPTP formula. May not be expressible in strict first order. Merge.kif 2940-2948

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 3037-3040 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 3042-3046 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 3315-3316 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