| Reel(捲軸) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4330-4330 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4329-4329 | 子類 捲軸 and Device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49127-49127 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49126-49126 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49125-49125 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4348-4360 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4362-4375 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4332-4334 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4336-4346 |
|
|
|