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 | CommuterRailSystems e' um sub-atributo de UrbanTransitSystems |
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 |