AutomobileDealers - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7044-7046
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4518-4518
No TPTP formula. May not be expressible in strict first order.	naics.kif 7042-7042	汽车经销商是汽车及零部件经销商的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7048-7048	新车经销商是汽车经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7054-7054	二手车经销商是汽车经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9216-9216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9215-9215
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9214-9214