FirstFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3241-3243 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3239-3239 | The number 1 argument of first is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3238-3238 | First is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3240-3240 | The range of first is an instance of entity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1012-1012 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1011-1011 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1010-1010 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23959-23959 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23958-23958 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23957-23957 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 783-797 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3271-3281 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2795-2802 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3245-3250 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2707-2715 |
|
![]() |
![]() |