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 2896-2897
No TPTP formula. May not be expressible in strict first order. Merge.kif 2892-2892 The number 1 argument of list is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2890-2890 List is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 2891-2891 List is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2894-2894 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. domainEnglishFormat.kif 34667-34667
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 34666-34666
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34665-34665

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 471-475
No TPTP formula. May not be expressible in strict first order. Merge.kif 18286-18291
No TPTP formula. May not be expressible in strict first order. Merge.kif 18269-18274
No TPTP formula. May not be expressible in strict first order. Merge.kif 18303-18308
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 508-512
No TPTP formula. May not be expressible in strict first order. Merge.kif 502-506
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 2636-2641
No TPTP formula. May not be expressible in strict first order. Merge.kif 16774-16782
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 2957-2962
No TPTP formula. May not be expressible in strict first order. Merge.kif 2964-2969
No TPTP formula. May not be expressible in strict first order. Merge.kif 4796-4807
No TPTP formula. May not be expressible in strict first order. Merge.kif 4809-4823
No TPTP formula. May not be expressible in strict first order. Merge.kif 4881-4891
No TPTP formula. May not be expressible in strict first order. Merge.kif 4893-4907
No TPTP formula. May not be expressible in strict first order. Merge.kif 3138-3147
No TPTP formula. May not be expressible in strict first order. Merge.kif 3149-3161
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 3007-3014
No TPTP formula. May not be expressible in strict first order. Merge.kif 465-469
No TPTP formula. May not be expressible in strict first order. Merge.kif 477-489
No TPTP formula. May not be expressible in strict first order. Merge.kif 2909-2914
No TPTP formula. May not be expressible in strict first order. Merge.kif 2916-2925
No TPTP formula. May not be expressible in strict first order. Merge.kif 579-583
No TPTP formula. May not be expressible in strict first order. Merge.kif 4789-4794
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4879
No TPTP formula. May not be expressible in strict first order. Merge.kif 295-303
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 524-536
No TPTP formula. May not be expressible in strict first order. Merge.kif 514-522

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 2996-2999 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 3001-3005 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 3274-3275 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