| Injecting(injecting)
| | injecting, injection, shot |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11233-11234 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11231-11232 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4736-4736 | "http://upload.wikimedia.org/wikipedia/commons/f/fb/ Injection_23.JPG" is a URL depicting injecting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11230-11230 | Injecting is a subclass of inserting |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5442-5442 | "injecting" is the printable form of injecting in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11236-11244 |
|
|
|
|