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 | 舞台教练 是 车皮 的 subclass |
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 |