Electrolyte VendingMachineOperators
|
|
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 | Vending machine operators is a subattribute of nonstore retailers |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61468-61468 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61467-61467 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61466-61466 |