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 3165-3166
No TPTP formula. May not be expressible in strict first order. Merge.kif 3161-3161 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 3162-3162 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 3163-3163 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 3160-3160 Sub-list function is an instance of ternary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3164-3164 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 3168-3168
No TPTP formula. May not be expressible in strict first order. Merge.kif 3167-3167

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3170-3177
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268
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. 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