OpenTopRailcar - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2200-2201
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2605-2605
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2199-2199	子類敞篷車 and 貨車

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2177-2177	子類敞車 and 敞篷車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2218-2218	子類旋轉式自卸車 and 敞篷車
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42228-42228
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42227-42227
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42226-42226