No TPTP formula. May not be expressible in strict first order. |
naics.kif 9108-9111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8753-8753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9725-9725 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9726-9726 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9727-9727 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9106-9106 |
TelecommunicationsResellers e' um sub-atributo de Telecommunications |