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 |
Telecommunications resellers is a subattribute of telecommunications |