TreeView Knowledge Base Browser - MotorcycleBoatAndOtherMotorVehicleDealers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7075-7077
No TPTP formula. May not be expressible in strict first order.	naics.kif 7073-7073	摩托艇和其他汽车经销商是其他汽车经销商的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7091-7091	所有其他汽车经销商是摩托艇和其他汽车经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7085-7085	船经销商是摩托艇和其他汽车经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7079-7079	摩托车经销商是摩托艇和其他汽车经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38805-38805
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38804-38804
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38803-38803