VendingMachineOperators - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7903-7905
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8780-8780
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9795-9795
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9796-9796
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9798-9798
No TPTP formula. May not be expressible in strict first order.	naics.kif 7901-7901	自动售货机运营商是非商店零售商的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61466-61466
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61465-61465
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61464-61464