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 域 SubListFn, 1 and Integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3162-3162 域 SubListFn, 2 and Integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 3163-3163 域 SubListFn, 3 and List
No TPTP formula. May not be expressible in strict first order. Merge.kif 3160-3160 例 SubListFn and TernaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 3164-3164 範圍 SubListFn and 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 1449-1461


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