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 Le nombre 1 argument de SubListFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order. Merge.kif 3162-3162 Le nombre 2 argument de SubListFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order. Merge.kif 3163-3163 Le nombre 3 argument de SubListFn est une instance de liste
No TPTP formula. May not be expressible in strict first order. Merge.kif 3160-3160 SubListFn est une instance de fonction ternaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 3164-3164 Le domaine de SubListFn est une instance de liste

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