ThreadMills - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1983-1985
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10290-10290
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11986-11986
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11987-11987
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11982-11982
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11983-11983
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11984-11984
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11985-11985
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11989-11989
No TPTP formula. May not be expressible in strict first order.	naics.kif 1981-1981	Thread mills is a subattribute of fiber yarn and thread mills

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57890-57890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57889-57889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57888-57888