GearTrain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 759-761
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4699-4699
No TPTP formula. May not be expressible in strict first order.	engineering.kif 762-762	齿轮系是工程组件的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 768-768	齿轮系 typically 是变速器的 part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2251-2251	Differential 是齿轮系的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25622-25622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25621-25621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25620-25620
No TPTP formula. May not be expressible in strict first order.	engineering.kif 763-763	齿轮 typically 是齿轮系的 part