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 1449-1461 |
|
![]() |
![]() |