UrbanTransitSystems - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8368-8370
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12127-12127
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10325-10325
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12132-12132
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12126-12126
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12133-12133
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12129-12129
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12125-12125
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12131-12131
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12124-12124
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12130-12130
No TPTP formula. May not be expressible in strict first order.	naics.kif 8366-8366	城市交通系统是过境和地面客运的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8385-8385	公共汽车和其他机动车辆运输系统是城市交通系统的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8379-8379	通勤铁路系统是城市交通系统的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8372-8372	混合模式运输系统是城市交通系统的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8392-8392	其他城市交通系统是城市交通系统的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60710-60710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60709-60709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60708-60708