CommuterRailSystems(通勤铁路系统)![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8381-8383 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8431-8431 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9094-9094 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9095-9095 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8379-8379 | 通勤铁路系统 是 城市交通系统 的 subAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16104-16104 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16103-16103 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16102-16102 |
![]() |
![]() |