AgentPoweredVehicle - Sigma Knowledge base Browser

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	子類代理動力車輛 and 車輛

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1823-1823	不相交的預告片 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2500-2500	子類獨木舟 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1924-1924	子類週期 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2503-2503	子類皮艇 and 代理動力車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1945-1945	子類摩托車 and 代理動力車輛
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