Locomotive - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2117-2120
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2595-2595
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2596-2596
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2597-2597
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2849-2849
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2486-2486
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2593-2593
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2116-2116	子類機車 and 動力車輛
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2115-2115	子類機車 and 波蕩股

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34901-34901
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34900-34900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34899-34899