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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubListFn

Sigma KEE - SubListFn
SubListFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3121-3122
No TPTP formula. May not be expressible in strict first order. Merge.kif 3117-3117 The number 1 argument of sub-list function is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3118-3118 The number 2 argument of sub-list function is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3119-3119 The number 3 argument of sub-list function is an instance of list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3116-3116 Sub-list function is an instance of ternary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3120-3120 The range of sub-list function is an instance of list

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3124-3124
No TPTP formula. May not be expressible in strict first order. Merge.kif 3123-3123

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3126-3133
No TPTP formula. May not be expressible in strict first order. Merge.kif 3135-3144
No TPTP formula. May not be expressible in strict first order. Merge.kif 3146-3158

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3214-3224
No TPTP formula. May not be expressible in strict first order. Merge.kif 3146-3158
No TPTP formula. May not be expressible in strict first order. Weather.kif 1453-1465


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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