ClassIRailroad(classI鐵路) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3234-3237 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3233-3233 | 子類 classI鐵路 and 鐵路公司 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15036-15036 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15035-15035 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15034-15034 |