appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3539-3542 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15404-15410 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15403-15403 | Particle word is a subclass of word |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44581-44581 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44580-44580 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44579-44579 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15490-15495 |
|
![]() |
![]() |