No TPTP formula. May not be expressible in strict first order. |
naics.kif 9081-9084 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12167-12167 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12171-12171 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12169-12169 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12172-12172 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10340-10340 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12170-12170 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12168-12168 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9079-9079 |
WiredTelecommunicationsCarriers e' um sub-atributo de Telecommunications |