<=>
|
|
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5421-5425 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6062-6068 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16906-16912 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7466-7473 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8452-8461 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 267-272 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 281-286 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9859-9868 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9839-9846 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9818-9825 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 260-265 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 274-279 |
appearance as argument number 0 |