|
|
   StageCoach
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1867-1869 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 60-60 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1866-1866 | Stage coach is a subclass of wagon |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54966-54966 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54965-54965 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54964-54964 |
|
|
|
