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 |
VendingMachineOperators est un sous-attribut de NonstoreRetailers |