TreeView Knowledge Base Browser - AgentPoweredVehicle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1812-1813
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1020-1020
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1811-1811	代理动力车辆是车辆的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1823-1823	预告片和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2500-2500	独木舟是代理动力车辆的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1924-1924	周期是代理动力车辆的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2503-2503	皮艇是代理动力车辆的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1945-1945	摩托车是代理动力车辆的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5832-5832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5831-5831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5830-5830